説明: この拡張ポイントは、Java 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
viewId CDATA #IMPLIED
enabled (true | false)
pattern CDATA #IMPLIED
class CDATA #IMPLIED
>
<extension point="org.eclipse.jdt.ui.javaElementFilters"> <filter id="org.eclipse.jdt.ui.PackageExplorer.LibraryFilter" name="%HideReferencedLibraries.label" description="%HideReferencedLibraries.description" viewId="org.eclipse.jdt.ui.PackageExplorer" class="org.eclipse.jdt.internal.ui.filters.LibraryFilter" enabled="false"> </filter> </extension>