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