ubuntu13.10にしてから、日本語入力周りで不具合が多発してる。 現状で把握している問題としては、 Ctrl+Spaceの認識タイミングの問題。 Spaceより先にCtrlを離すと認識してくれなくて、これは集中して速く打ってるときにミスが多発して、かなりフラストレー…