Фильтры ресурсов

org.eclipse.ui.ide.resourceFilters

3.0 (первоначально входил в выпуск 1.0 как org.eclipse.ui.resourceFilters)

Эта точка расширения служит для добавления заранее определенных фильтров в панели, отображающие ресурсы, например, панель Навигатор. Фильтры предназначены для скрытия ресурсов, имена которых совпадают с настроенным шаблоном фильтра.

<!ELEMENT extension (filter*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT filter (description?)>

<!ATTLIST filter

pattern  CDATA #REQUIRED

selected (true | false) "false">


<!ELEMENT description (#PCDATA)>

описание назначения фильтра.



Ниже приведен пример расширения фильтра ресурсов, который отфильтровывает файлы классов и выбирается по умолчанию:

 

<extension point=

"org.eclipse.ui.ide.resourceFilters"

>

<filter pattern=

"*.class"

selected=

"true"

/>

</extension>