micheleg

Gnome Shell 的 Dock 扩展。此扩展将 Dash 从概览中移出，将其转换为 Dock，以便更轻松地启动应用程序，并在窗口和桌面之间进行更快速的切换。