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