IDEの初期設定キーマップのロード

JDeveloperで提供されている複数の既存のキーマップ・セットを使用できます。あるいは、既存のキーマップを使用しながら、処理に割り当てるキーボード・ショートカット(アクセラレータ)を変更し、このキーマップをユーザーのコーディング・スタイルに合せてカスタマイズすることもできます。

いつでも必要なときに別のキーマップをロードできます。ある初期設定キーマップをカスタマイズした後、別の初期設定キーマップをロードすると、カスタマイズ設定が失われるので注意してください。

初期設定キーマップをロードするには、次のようにします。
  1. メイン・メニューから、「ツール」次の選択「プリファレンス」を選択します。
  2. 「プリファレンス」ダイアログで、「ショートカット・キー」ノードを選択します。詳細は、[F1]を押すか、「プリファレンス」ダイアログ内で「ヘルプ」をクリックしてください。
  3. ショートカット・キー・ページで、「その他のアクション」をクリックし、「スキームのリストア」を選択します。現在ロード済キーマッピングが選択された状態で、「スキームのリストア」ダイアログが表示されます。
  4. 「スキームのリストア」ダイアログで、ロードするキーマッピングを選択し、「OK」をクリックします。
  5. 完了したら、ショートカット・キー・ページで「OK」をクリックします。

個別のアクセラレータをカスタマイズすることもできます。方法


IDEのキーマップの使用