単に一度経験しただけのことで、確証はありません。 何かのタイミングで、JDeveloperを再起動したら、なぜか起動しなくなってしまったことがありました。原因は今もよくわかりませんが、復旧のためには、jdev\systemXXX\ide.properties をリネームしてみると…

通常のキー入力もひとつのアクションとして判定されるはずなんですが、ActionHookInvokerのinvokeAction メソッドには、それだけは引っかからない、とドキュメントにかかれてます。でも、矩形選択状態時にキー入力された場合は、選択領域を削除して、キーを…