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