JavaScript 要素フィルター拡張

識別子:
org.eclipse.wst.jsdt.ui.javaElementFilters

説明:
この拡張ポイントは、JavaScript UI ビューをフィルターで拡張するときに使用します。

構成マークアップ:

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

>


例:
JavaScript 要素フィルター定義の例を以下に示します。 これはインナー・クラスをフィルターに掛けるもので、最初から選択されています。


 <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. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html