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