「設定」ダイアログ - 「環境」ページ

「設定」ダイアログの「環境」ページを使用して、JDeveloperの動作のデフォルトの表示オプションおよびその他の一般的な項目を設定します。

スプラッシュ画面を起動時に表示
JDeveloper起動時のスプラッシュ画面の表示を可能にする場合に選択します。
コンパイルの前に保存
コンパイル時に常にファイルの自動保存を可能にする場合に選択します。
ドッキング可能なウィンドウを常に上に表示
移動したドッキング可能なウィンドウを、常にJDeveloperの他のGUI要素の上に配置する場合に選択します。
外部で変更されたファイルを自動的に再ロード
別のアプリケーションからJDeveloperに戻ったときに、外部で変更されたファイルをJDeveloperで常に確認するように設定する場合に選択します。外部コード・エディタを使用している場合、このオプションが特に役立ちます。自動再ロードおよび警告なしの再ロードのオプションを両方とも使用可にしておくと、JDeveloperは外部エディタでの変更内容と同期化された状態になります。

自動再ロード・オプションを使用不可にした場合:

 

自動再ロード・オプションを使用可にした場合:

IDEで未修正のファイルは警告なしで再ロード
自動再ロード・オプションを変更する場合に選択または選択解除します。

JDeveloperで、自動再ロードを行う前に外部で変更されたファイルの全リストが表示されるようにする場合には選択しません。

JDeveloperで、自動再ロードを行う前に外部で変更されたファイルのリスト(ただし、このリストでは、最後に保存されてからJDeveloper内で変更されていないファイルは除く)が表示されるようにする場合に選択します。このオプションの選択は、未修正のバッファについて「すべて再ロード」を指定するのと同じです。ただし、ファイルが外部でも、JDeveloperでも変更されている場合には、常にリストが表示されます。

ファイルにログを保存
JDeveloperによって生成されるログを、ログ・ファイルに保存する場合に選択します。たとえば、後で実行する検索や分析用に、大量のログ・データを保存する場合などに選択します。

このオプションを選択すると、実行、デバッグ、プロファイリングおよびCodeCoachの操作から、ログ・ウィンドウへのすべての出力がログ・ファイルに保存されます。各ログ・ファイルのファイル名には、操作、プロジェクト名および日時が示され、ファイル名はoperation_projectname_yyyymmmmhhss.logの形式で生成されます。日時は、年、月、分、時および秒で指定されます。

ログ・ウィンドウの内容を消去するか、ウィンドウを閉じると、バッファ内の情報を含めて、残りの情報がディスクの現在のログ・ファイルに自動的に保存されます。実行する前に(「プロジェクト」->「プロジェクトの設定」->「実行」->「オプション」で)ログ・ウィンドウの内容を消去するオプションを選択した場合、プロジェクトを新しく実行するたびに新規ログ・ファイルが生成され、ログ・ウィンドウに表示される情報がこのファイルに反映されます。オプションが選択されていない場合、同じセッション内でプロジェクトを新しく実行すると、情報は、ログ・ウィンドウに表示されるとおりに、1つのログ・ファイルに続けて保存されます。

このオプションを選択すると、すべての実行操作の出力がログ・ファイルに保存されます。ファイルの数および長さは、短期間で膨大になる可能性があります。

ログ・ファイル・ディレクトリ
ログ・ファイルの保存先のディレクトリを入力します。ディレクトリは自動的に作成されます。
最大ログ行数
数値を入力して、ログ・ウィンドウに一度に表示可能な最大行数を決定します。最大値を超えると、以前の情報がウィンドウから消去されます。デフォルト設定は1000です。
取消レベル
JDeveloperで記憶される取消操作の回数を入力します。
ルック&フィール
ドロップダウン・リストからルック&フィールを選択します。新しいルック&フィールがIDEで反映されるのは、JDeveloperを再起動した後になります。
エンコーディング
ドロップダウン・リストからエンコーディングの値を選択します。エンコーディングを、現在のロケールのデフォルト・エンコーディングにリセットするには、「デフォルト」を選択します。

デフォルトでは、JDeveloperは、デフォルト・ロケール・エンコーディングを使用して、エンコーディング・タグなしですべての新規ファイルを作成し、ファイルを開き、保存します。このデフォルト・ロケール・エンコーディング以外のエンコーディングを使用するには、フィールドの値を変更します。新規ファイルは新規エンコーディングで作成されます。また、新規エンコーディングは、エンコーディング・タグなしでファイルを開き、保存する際に使用されます。

JDeveloperですでに開いているファイルは、新規エンコーディングでは開かれません。開いているファイルの読取りに使用されるエンコーディングを変更するには、ファイルを閉じてエンコーディングの値を変更した後、再びファイルを開きます。また、エンコーディング・タグのあるファイルは、常に特定のタグを使用して開かれ、保存されます。この場合、JDeveloperのエンコーディングは使用されません。


IDEのカスタマイズ