gnome-terminal のキーボードショートカット

gnome-terminal を開いたままキーボードの掃除をしていたら, キーボードショートカットが変わってしまった. o (オー) を押すと (shift や alt, ctrl を押さなくても), ヘルプが表示される. o を入力できない. どうやって直すのだろう...

ここによると, 設定ファイルを削除すれば良いらしい.

cd ~/.gconf/apps/gnome-terminal/
rm -r keybindings/