「設定」ダイアログ - 「ファイル・タイプ」ページ

JDeveloperが認識するファイル拡張子を追加または削除する際に使用します。

認識済のファイル・タイプ
このリストから、関連付けられているファイル拡張子を確認するファイル・タイプを選択します。
対応するファイル拡張子
「認識済のファイル・タイプ」リストで現在選択されているファイル・タイプに関連付けられたファイル拡張子が表示されます。
追加
「認識済のファイル・タイプ」リストで現在選択されているファイル・タイプに拡張子を追加する場合に選択します。

すべての変更内容は、新規作成またはインポートされたファイルにただちに適用されます。ナビゲータに表示されている既存のファイルについては、JDeveloperを再起動しないかぎり、さかのぼって適用されることはありません。

削除
「対応するファイル拡張子」リストから、拡張子を削除する場合にクリックします。デフォルトの拡張子は削除できません。

 

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