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