Rozšíření filtru prvku JavaScript

Identifikátor:
org.eclipse.wst.jsdt.ui.javaElementFilters

Popis:
Tento bod rozšíření se používá pro rozšíření pohledů uživatelského rozhraní jazyka JavaScript, pomocí filtrů.

Konfigurační markup:

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

>


Příklady:
Následuje příklad definice filtru prvku jazyka JavaScript. Provádí odfiltrování vnitřních tříd a je vybrán na začátku.


 <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 a další.
Všechna práva vyhrazena. Tento program a doprovodné materiály jsou zpřístupněny za podmínek licence Eclipse Public License v1.0, která je součástí této distribuce a je k dispozici na adrese http://www.eclipse.org/legal/epl-v10.html