Фильтры ресурсов
Идентификатор:
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>
- point - полный идентификатор целевой точки расширения
- id - необязательный идентификатор экземпляра расширения
- name - необязательное имя экземпляра расширения
<!ELEMENT filter (description?)>
<!ATTLIST filter
pattern CDATA #REQUIRED
selected (true | false) "false">
- pattern - шаблон для проверки. Может содержать символы подстановки * и ?.
- selected - "true", если шаблон выбирается по умолчанию, "false" или не определено - в противном случае.
<!ELEMENT description (#PCDATA)>
описание назначения фильтра.
Примеры:
Ниже приведен пример расширения фильтра ресурсов, который отфильтровывает файлы классов и выбирается по умолчанию:
<extension point=
"org.eclipse.ui.ide.resourceFilters"
>
<filter pattern=
"*.class"
selected=
"true"
/>
</extension>
Copyright (c) 2002, 2004 IBM Corporation и другие.
Все права защищены.
Эта программа и сопутствующие материалы распространяются на условиях Eclipse Public License v1.0, поставляемой вместе с продуктом и доступной на Web-сайте
http://www.eclipse.org/legal/epl-v10.html