2014-03-06 GNOME3のちょっとした設定 GNOME Shellになってからか,ずいぶんと設定メニューの中身が変ってしまったので探したメモ.結論:たいていgnome-tweak-toolにある. CapsLockのCtrl化 フォントの変更など