JDeveloperで提供されている複数の既存のキーマップ・セットを使用できます。あるいは、既存のキーマップを使用しながら、処理に割り当てるキーボード・ショートカット(アクセラレータ)を変更し、このキーマップをユーザーのコーディング・スタイルに合せてカスタマイズすることもできます。
任意のキーマップの現在のアクセラレータ割当てを表示し、必要に応じてそれらの割当てを変更できます。ある初期設定キーマップをカスタマイズした後、別の初期設定キーマップをロードすると、カスタマイズ設定が失われるので注意してください。
JDeveloperのコマンドおよび割当て済キーボード・ショートカット(割り当てられている場合)を表示するには、次のようにします。
Copyright © 1997, 2009, Oracle. All rights reserved.