リソース・フィルター

ID: org.eclipse.ui.resourceFilters

説明: この拡張ポイントは、「ナビゲーター (Navigator)」ビューなどのリソースを表示するビューに、 定義済みのフィルターを追加するために使用します。 これらのフィルターを選択することにより、フィルター・パターンに一致する名前のリソースを非表示にすることができます。

構成マークアップ:

   <!ELEMENT filter(description?)>
   <!ATTLIST filter
      pattern    CDATA #REQUIRED
      selected   CDATA #OPTIONAL
    >
    <!ELEMENT description (#PCDATA)>

例:

クラス・ファイルを除外するリソース・フィルター拡張機能の例を次に示します。これはデフォルトで選択されます。

   <extension
        point="org.eclipse.ui.resourceFilters">
        <filter
            pattern="*.class"
            selected="true">
        </filter>
    </extension>

Copyright IBM Corp. 2000, 2001.  All Rights Reserved.