Linux Mint Japan 日本語フォーラム

現在　LinuxMint Cinnamon 64-bit
Cinnamon のバージョン　2.2.16
Linuxカーネル　3.13.0-24-generic　

上記の環境で、テンキー付きの日本語キーボードで使用してますが
Cinnnamonメニューの検索窓にテンキーではNUMLOCKした状態で数字が入力できません。
テンキー以外のキーボード上部からの数字は入力できます。
どうしたらいいでしょうか

他は異常ありません。

確認してみました。自分の環境でも再現しています。
Shift+テンキー だと数字が入力できるので、
Num Lock ON 状態になっているのに Num Lock OFF で入力される状態になってますね。
Linux Mint 以外の Linux ディストリビューションから Cinnamon を使用した場合でも
この問題が生じる事を確認しているので、Cinnamon の問題になるようです。

検索していて、問題を出しているのを見つけているのですが、
解決方法を行って改善できていません。
正式にバグ報告する必要があるかもしれませんね……

SHIFT＋10キーでしばらく　使用します。