JDeveloperには複数のキーマップ・セットが付属しています。これらのキーマップ・セットの1つを使用することも、処理に割り当てるキーボード・ショートカット(アクセラレータ)を変更し、既存のキーマップ・セットをユーザーのコーディング・スタイルに合せてカスタマイズすることもできます。
このセクションの内容は次のとおりです。
Copyright © 1997, 2009, Oracle. All rights reserved.