設定方法をまったくもって覚えていなかった*1かつ、すぐに見つけられなかったのでメモを残しておく。 Fedora19でGnome3を使っている場合ね。1. gnome-tweak-toolをインストール # yum install gnome-tweak-tool 2. gnome-tweak-toolを起動して設定 Typing ->…