トップバーのマウスホイールのスクロールで、ワークスペースを切り替えるには
「Top Panel Workspace Scroll」は、トップバーのマウスホイールのスクロールで、ワークスペースを切り替える「GNOME Shell拡張」です。Top Panel Workspace Scrollをインストールするには
「Top Panel Workspace Scrolle」のインストール方法です。「GNOME Shell拡張」のインストール方法は、以下を参照してください。
「Top Panel Workspace Scroll」で検索すれば、この「GNOME Shell拡張」が見つかります。
トップバーのマウスホイールのスクロール
トップバーとはデスクトップ画面の上部に配置されている横長のバーのことです。アクティビティやインジケーターが配置されているバーですね。
このトップバーのインジケーターが配置されていない場所で、マウスホイールをスクロールすると、ワークスペースが切り替わります。
Top Panel Workspace Scrollの設定
「Top Panel Workspace Scroll」の設定画面の紹介です。Ignore last workspace
この設定を有効にすると、最後のワークスペースは存在しないものとして扱われます。この設定は動的なワークスペースを利用している時に活用できるでしょう。
Wrap around
最初及び最後のワークスペースが表示されている状態でマウスホイールをスクロールした時に、最後なら最初のワークスペースに移動し、最初なら最後のワークスペースに移動します。Show indicator
ワークスペースを切り替えた時に、デスクトップ画面にワークスペースの情報を表すインジケーターを表示します。Minimum delay between scroll events
マウスホイールのスクロールイベントを認識するタイミングを調整します。あまりにもマウスホイールのスクロールが敏感に反応してしまい、余計にワークスペースが切り替えられてしまう時は、ここで遅延を設定すると良いでしょう。