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

「設定」ダイアログの「ファイル・タイプ」ページを使用して、新規の拡張子をJDeveloperで認識される拡張子のリストに追加し、ファイル・タイプと関連付けます。

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

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

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