12.04から12.10,13.10,14.04とアップデートしました。unityは使わず、gnome-session-flashbackで使っています。ワークスペースの切り替えはデフォルトではCTRL+ALT+矢印キーですが、これをSHIFT+CTRL+矢印キーに変更して使っていましたが、アップデートの過程で元に戻ってしまったようです。12.04の時は、システムの設定->キーボード->ショートカットの所でウインドウという所があって、そこでワークスペースの切り替えのキーを変更できたように思うのですが、14.04では変更できないようです。ワークスペースの切り替えは非常に頻繁に使うので、慣れたショートカットキーを使いたいのですが、変更の方法はありませんでしょうか。よろしくお願いいたします。