GNOMEパネルの下にあるShow Desktop拡張アイコンが多すぎる
Gnome Shell "show desktop" shortcut でGNOME拡張機能を使用しましたが、デスクトップボタンが多すぎます。実際に何かがインストールされたことをまったく示さないことに後で気付くまで、何度もインストールしたが、おそらく「何も起こらなかったため」と思われる。パネルの[アクティビティ]ナビゲーションリンクの横に複数の「ボタン」が残っています。
これはUbuntu 17.10の下にあります。
1つだけを除いてすべて削除するにはどうすればよいですか？
私は知っています ctrl+alt+d バインディングですが、すべてのCtrlキーとAltキーのバインディングを特定のアプリケーションウィンドウ用に予約し、Xウィンドウマネージャーによって「乱され」ないようにする必要があるため、設定でバインディングを無効にする傾向があります。
古い拡張機能 をインストールしたようですが、これは期待どおりに動作しない可能性があります。
ここ から拡張機能を削除し、拡張機能の更新されたフォークをインストールします。
https://extensions.gnome.org/extension/1194/show-desktop-button/