ワークスペースグリッド拡張：ワークスペース名の名前を変更または削除するにはどうすればよいですか？
workspace grid GNOME用の拡張機能をインストールしました。これは魅力のように機能します。
ワークスペースの変更中に表示されるワークスペース名をどのように変更または削除できますか？ ctrl+alt+arrow ショートカット）。拡張機能の設定メニュー、gnome-tweaksメニューのいずれにもオプションが見つかりませんでした。
dconf（dconf-editor）を使用して/を編集しますorg/gnome/desktop/wm/preferences/workspace-names...
ワークスペースの名前を変更する最も簡単な方法は、（公式の）gnome拡張機能Workspace Indicatorをインストールすることです。構成設定（Gnome Tweaksでこれらにアクセスできます）を介して、ワークスペースのカスタム名を指定できます。パネルにワークスペースインジケーターを表示したくない場合は、名前の変更が完了したら拡張機能をオフにします。
投稿の本文で、名前を完全に削除することをお勧めします。この効果は、Workspace Indicatorで名前を単一のスペースに設定することで実現できます。
おまけのヒントとして、キーボードを使用してワークスペースを切り替えたときにポップアップがまったく表示されない、完全なクリーンアプローチがお好みかもしれません。これを実現するには、ワークスペース切り替えポップアップを無効にする拡張機能をインストールします。