Расширения фильтров элементов JavaScript

Идентификатор:
org.eclipse.wst.jsdt.ui.javaElementFilters

Описание:
Данная точка расширения служит для добавления фильтров в панели пользовательского интерфейса JavaScript.

Описание конфигурации:

<!ELEMENT extension (filter+)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED

>


<!ELEMENT filter EMPTY>

<!ATTLIST filter

id          CDATA #IMPLIED

name        CDATA #IMPLIED

description CDATA #IMPLIED

targetId    CDATA #IMPLIED

enabled     (true | false)

pattern     CDATA #IMPLIED

class       CDATA #IMPLIED

>


Примеры:
Пример определения фильтра элементов JavaScript. Он отфильтровывает внутренние классы и выбран в начальном состоянии.


 <extension point="org.eclipse.wst.jsdt.ui.javaElementFilters">
  <filter
   id="org.eclipse.wst.jsdt.ui.PackageExplorer.LibraryFilter"
   name="%HideReferencedLibraries.label"
   description="%HideReferencedLibraries.description"
   targetId="org.eclipse.wst.jsdt.ui.PackageExplorer"
   class="org.eclipse.wst.jsdt.internal.ui.filters.LibraryFilter"
   enabled="false">
  </filter>
 </extension>


Copyright (c) 2007 IBM Corporation и другие.
Все права защищены. Эта программа и сопутствующие материалы распространяются на условиях Eclipse Public License v1.0, поставляемой вместе с продуктом и доступной на веб-сайте http://www.eclipse.org/legal/epl-v10.html