リファレンス: JDeveloperのキーマップ

JDeveloperには、事前定義済のキーマップがあります。これらはロードしてそのまま使用するか、または選択してカスタマイズできます。

このセクションの内容は次のとおりです。