Erweiterungen für JavaScript-Elementfilter

Kennung:
org.eclipse.wst.jsdt.ui.javaElementFilters

Beschreibung:
Mit Hilfe dieses Erweiterungspunkts können Ansichten von JavaScript-Benutzerschnittstellen mit Filtern erweitert werden.

Konfigurationsbefehle:

<!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

>


Beispiele:
Das folgende Beispiel zeigt die Definition eines JavaScript-Elementfilters. Sie filtert untergeordnete Klassen heraus und ist anfänglich ausgewählt.


 <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 und andere.
Alle Rechte vorbehalten. Dieses Programm und sein Begleitmaterial werden gemäß Bedingungen der 'Eclipse Public License v1.0' zur Verfügung gestellt, die dieser Lieferung beiliegt und unter http://www.eclipse.org/legal/epl-v10.html abgerufen werden kann.