IDEの一般環境のカスタマイズ

JDeveloperのデフォルトの表示オプション(起動時にスプラッシュ画面を表示するかどうか、ドッキング可能ウィンドウを常に前面に表示するかどうかなど)はカスタマイズできます。また、外部で変更されたファイルをJDeveloperで自動的に再ロードするかどうか、ログ・ウィンドウへの出力を自動的にファイルに保存するかどうかなど、その他の一般的な動作もカスタマイズできます。

IDEの一般環境設定を変更するには、次のようにします。

  1. メイン・メニューから、「ツール」->「設定」を選択します。
  2. 「設定」ダイアログで、「環境」ノードが選択されていない場合は選択します。
  3. 「環境」ページで、オプションの選択とフィールドの設定を適宜行います。

    詳細は、[F1]を押すか、ダイアログ・ページ内で「ヘルプ」をクリックしてください。

  4. 「OK」をクリックします。

IDEのカスタマイズ
コード・エディタ環境のカスタマイズ
IDEのキーマップの使用

 

Copyright © 1997, 2004, Oracle. All rights reserved.