「設定」ダイアログ - 「ファイル・タイプ」ページ
「設定」ダイアログの「ファイル・タイプ」ページを使用して、新規の拡張子をJDeveloperで認識される拡張子のリストに追加し、ファイル・タイプと関連付けます。
- 認識済のファイル・タイプ
- このリストから、関連付けられているファイル拡張子を確認するファイル・タイプを選択します。
- 対応するファイル拡張子
- 「認識済のファイル・タイプ」リストで現在選択されているファイル・タイプに関連付けられたファイル拡張子が表示されます。
- 追加
- 「認識済のファイル・タイプ」リストで現在選択されているファイル・タイプに拡張子を追加する場合に選択します。新規の拡張子は、「対応するファイル拡張子」リストに追加されます。
すべての変更内容は、新規作成またはインポートされたファイルにただちに適用されます。ナビゲータに表示されている既存のファイルについては、JDeveloperを再起動しないかぎり、さかのぼって適用されることはありません。
- 削除
- 「対応するファイル拡張子」から、追加した拡張子を削除する場合にクリックします。デフォルトの拡張子は削除できません。