Gnome でワークスペースを切り替える

Ctr + Alt + 矢印キーで、ワークスペースが切り替わる。

欲をいえば、ワークスペースの 1 と 4 をつなげてほしかった。Mac では 4 に居る状態で右を押すと、1 に移動できる。Gnome では、行き止まりになる。

ファンクションキーを同時に二つ押すのも面倒である。しかし、キーの数がそもそも違うので、いたしかたあるまい。

ショートカットの変更で対処できるとも考えたが。キーの割り当ては出来るだけデフォルト優先という方針にしたいし、実用上問題はなさそうなのでこのまま本件は放置。