「設定」ダイアログ - 無視するファイルのリスト・ページ

JDeveloperでどの処理にも使用しないファイルとファイル・タイプを指定する際に使用します。

新規フィルタ
JDeveloperですべての処理中に無視するファイルのリストに追加するファイル名またはファイル・タイプを入力します。foo.txtなどの完全ファイル名を入力して特定のファイルを除外するか、*.txtのようにファイル・タイプを記述する構成メンバーを入力して同じタイプのファイルをすべて除外できます。
追加
「新規フィルタ」ボックスに入力した項目を「フィルタ」リストの項目リストに追加する場合に選択します。デフォルトでは、新規エントリの横にあるチェック・ボックスは選択され、そのファイルまたはファイル・タイプが無視されることを示します。
削除
「フィルタ」リストからハイライト表示されている項目を削除する場合に選択します。
「フィルタ」リスト
項目に対応するチェック・ボックスが選択されている場合に、JDeveloperにより無視される項目が表示されます。項目の横にあるボックスの選択を解除して、その項目を無視しないように指定できます。
デフォルトに戻す
「フィルタ」リストを初期インストール時の状態に戻す場合に選択します。これにより、インストール後に追加したフィルタが削除されます。