dash-to-dock:GNOME Shell扩展，将Dash转为高效 dock，便捷启动应用与切换窗口

A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.