micheleg

Gnome Shell用のドック。この拡張機能は、ダッシュをオーバービューから移動させ、アプリケーションのより簡単な起動とウィンドウおよびデスクトップ間の高速な切り替えのためのドックに変換します.