パネルにダッシュ GnomeShellの拡張です その ドックをエミュレートし、パネルとランチャーをXNUMXつのバーに統合します、KDEPlasmaやWindowsAereoと同様の複数のグラフィック機能を利用します。 Dash to Panelは新しいパネルを作成しませんが、GnomeShellバーの外観を変更することを明確にする必要があります。
この拡張機能 さまざまな機能を提供します パネルの位置の調整、サイズの変更、外観、フォントサイズのカスタマイズ、実行中のアプリケーションの表示、アイコンの非表示、時計の位置の調整などを強調できます。
現在、パネルにダッシュ バージョン9にあります これにより、ウィンドウピークモードを強調表示できるいくつかの特性が追加され、お気に入りを非表示にできる可能性があり、特に小さな画面に調整されます。
新しいウィンドウピーク機能、アプリケーションのタスクバーのプレビューにフルサイズでカーソルを合わせると、他のウィンドウまたはアプリケーションが透明になります。 Windows7のAirエフェクトに似ています.
一方、パネルから「お気に入り」を非表示にする可能性があるため、パネルをタスクリストとしてのみ使用でき、タスクリストとアプリケーションランチャーの組み合わせとしては使用できない可能性があります。
この拡張機能を使用する場合は、 Gnome TweakToolも使用することをお勧めします。 アプリケーションの設定メニューを失わないように、トップバーのオプションで[アプリケーションメニューを表示する]を無効にします。
Ubuntu17.10にDashtoPanelをインストールする方法
まず、DashをPanelにインストールするには、 主な要件は、GnomeShellを使用することです あなたのシステムにあるので、まだ持っていない場合はこれを通過することができます システムにインストールするためのガイド.
パネルにダッシュ Githubからダウンロードできます そして、次のことができます このリンクからダウンロード.
WebサイトからDashtoPanelをインストールした場合 extensions.gnome.org、とにかくできるので、今後数日でこのバージョンに更新できるはずです ここからダウンロードしてインストールします。
Debianで働いていませんか?
Debianではテストしていません。 申し訳ありません