Ubuntuでkey repeatが効かなくなった時の対処

Ogre3Dライブラリを使用して遊んでいると、頻繁にkey repeatが効かなくなることがあります。
その時は

1. メニューのシステム => 設定 =>キーボードを選択


2. 全般タブのリピート・キーのチェックボックスを、一度OFFして、すぐにON

で復帰させることが出来ます。

ちなみに、Ogre3Dでkey repeatが効かなくなるのは、Ogre3Dがinput methodとして使っているOISの終了処理が適切に行われていないためと思われます。