Extensions de filtre d'éléments JavaScript

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

Description :
Ce point d'extension permet d'étendre les vues de l'interface utilisateur JavaScript avec des filtres.

Marquage de configuration :

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

>


Exemples :
Vous trouverez ci-après un exemple de définition de filtre d'éléments JavaScript. Il filtre les classes internes et est initialement sélectionné.


 <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.
All rights reserved. Ce programme et les produits associés sont distribués sous licence v1.0 et disponibles à l'adresse suivante : http://www.eclipse.org/legal/epl-v10.html