blechmusikの日記

キー・カスタマイズ・ソフトウェア "DvorakJ" の覚え書きをはじめとして様々なことを書いています。

Shift を押しながら Pause を押すときの挙動がおかしくなっていた

ここ一ヵ月間、shift + pause というキーバインドが正常に動作しなくなっていたとの報告を受けた。どうやら 左 shift の方は問題無いが、他方、右 shiftの動作が正しくなくなっていたようだ。右 shiftの組み合わせの方では、 shift + pause が押され続けてしまうようになっていた。
そこで、本日付の版では、shift + pause の処理を 2011-02-01版の時点の処理に戻した。今日付の版ではshift + pauseが正しく動作するようになったと思われる。