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

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

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

初期設定キーマップをロードするには、次のようにします。
  1. メイン・メニューから「ツール」->「設定」を選択します。
  2. 「設定」ダイアログで、「アクセラレータ」ノードを選択します。
  3. 「アクセラレータ」ページで、「初期設定のロード」をクリックします。

    「初期設定のロード」ダイアログが表示されます。ダイアログでは、現在ロードされているキーマップがハイライト表示されています。

  4. 「初期設定のロード」ダイアログで、ロードするキーマップを選択し、「OK」をクリックします。
  5. 完了したら、「アクセラレータ」ページで「OK」をクリックします。

    または、必要に応じて個々のアクセラレータをカスタマイズすることもできます。


キーマップの現在のアクセラレータ割当ての表示
キーマップのカスタム・アクセラレータの定義
コード・エディタ環境のカスタマイズ

JDeveloperでのキーボード・ナビゲーションについて