gnome-shell

gnome-shell を使い始めた。IM切り替えに使用してた super キーがアクティビティ呼び出しと被るのだけど、設定を変える方法が見当たらないから元に戻したくなっている。