Rozszerzenia filtrów elementów JavaScript

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

Opis:
Ten punkt rozszerzenia umożliwia rozszerzanie widoków interfejsu użytkownika JavaScript za pomocą filtrów.

Znaczniki konfiguracji:

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

>


Przykłady:
Poniżej przedstawiono przykład definicji filtru elementów JavaScript. Filtruje on klasy wewnętrzne i jest domyślnie wybrany.


 <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 and others.
Wszelkie prawa zastrzeżone. Program ten oraz towarzyszące mu materiały są udostępniane na warunkach licencji EPL (Eclipse Public License), wersja 1.0, dołączonej do nich i dostępnej pod adresem http://www.eclipse.org/legal/epl-v10.html.