Ubuntu 23.10でマウススクロールによるワークスペース切り替えを有効にする

Ubuntu 23.10のGNOME 45では、左上の「アクティビティ」がワークスペースインジケーターに置き換えられました。それにマウスを重ねることで、マウスのスクロールを使用してワークスペースを切り替えることができます。

これは「Workspace Scroll」というシンプルな拡張機能によって行われます。音量アイコンのように、その拡張機能を使うと、マウスカーソルを左上のインジケーターに移動させ、ミドルマウスボタンをスクロールすることでワークスペースを切り替えることができます（つまり、Windowsの仮想デスクトップです）。

これはマウスを多用するユーザーにとって便利です。なぜなら、いくつかのマウスクリックを節約できるからです！

更新: この動作は今や初期設定で有効になっています!!! チュートリアルに従う必要はありません。ワークスペースインジケーターの上にマウスカーソルを移動させて、中ボタンをスクロールするだけです。

ワークスペーススクロールのインストール方法

この機能の拡張機能をインストールするには、まずキーボードでCtrl+Alt+Tを押してターミナルを開いてください。

次に、「拡張マネージャー」アプリをインストールするためのコマンドを実行します:

sudo apt install gnome-shell-extension-manager

最後に、ツールを使って「ワークスペーススクロール」拡張機能を「ブラウズ」タブの下で検索してインストールします。

他のGNOME 45を搭載したLinux、例えば今後のFedora 39、Arch/Manjaroなどについては、以下のリンクを開いてください:

ワークスペーススクロール: https://extensions.gnome.org/extension/6251/workspace-scroll/

その後、ON/OFFスイッチを使ってその拡張機能をインストールします。スイッチが見えない場合は、ページ内のリンクを介してブラウザ拡張機能をインストールし、ページを更新してください。

拡張機能をインストールした後は、カーソルを左上のインジケーターボタンに移動させ、中間のホイールをスクロールして確認してください。