Extensiones de filtro de elementos JavaScript

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

Descripción:
Este punto de extensión permite ampliar las vistas de la UI JavaScript con filtros.

Código de configuración:

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

>


Ejemplos:
El siguiente ejemplo ilustra una definición de filtro de elementos JavaScript. Filtra las clases internas (dejándolas fuera) y está inicialmente seleccionado.


 <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 y otros.
Reservados todos los derechos. Este programa y sus materiales adjuntos están disponibles bajo los términos de la licencia pública común (Eclipse Public License) v1.0 que acompaña a esta distribución, y está disponible en http://www.eclipse.org/legal/epl-v10.html