Oracle SQL Developerで一部のキー入力が効かない - 技術メモとかSE的な小ネタ

SQL Developerを操作していると… 先日、SQL Developer上でSQLを切り貼り編集しているときに動きがおかしいことに気付いた。 Ctrl＋V のショートカットが効かない。 こないだ まで効いてたのに…！！ その時は急いでいたし、右クリック→貼り付けならペーストできたし、 PCごと再起動でもすれば元に戻るだろう、と気を取り直して作業を続行した。 そんなことも忘れた後日。 再度SQL Developerを起動すると、またまたCtrl＋Vが効かない。 さらにさらに、Backspaceも効かない。 他のショートカットキーも一部効かない。 キー割り当ての設定がおかしくなってた さすがに仕事にならないので設定周りを探したところ、 該当する設定を発見。 「ツール」→「プリファレンス」→「アクセラレータ」 を開くとショートカットキーの割り当てができるようで、ここの設定が何故か狂っていた