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

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


IDEのキーマップの使用
コード・エディタ環境のカスタマイズ
ソース・ファイルの編集

 

Copyright © 1997, 2004, Oracle. All rights reserved.