Ressursfiltre
Identifikator:
org.eclipse.ui.ide.resourceFilters
Siden:
3.0 (opprinnelig lagt til i utgave 1.0 som org.eclipse.ui.resourceFilters)
Beskrivelse:
Dette utvidelsespunktet blir brukt til å legge til
forhåndsdefinerte filtre til visninger som viser ressurser, for eksempel navigatorvisningen.
Disse filtrene kan
velges for å skjule ressurser med navn som samsvarer med filterets mønster.
Konfigurasjonskodetype:
<!ELEMENT extension (filter*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - en fullt kvalifisert ID for målutvidelsespunktet
- id - en valgfri ID for utvidelsesforekomsten
- name - et valgfritt navn på utvidelsesforekomsten
<!ELEMENT filter (description?)>
<!ATTLIST filter
pattern CDATA #REQUIRED
selected (true | false) "false">
- pattern - mønsteret som skal samsvare. Kan inneholde jokertegnene * og ?.
- selected - "true" hvis mønsteret skal velges som standard, "false" eller udefinert hvis ikke.
<!ELEMENT description (#PCDATA)>
beskrivelsen av hensikten med dette filteret.
Eksempler:
Nedenfor finner du et eksempel på en
ressursfilterutvidelse, som filtrerer bort klassefiler. Den blir valgt som standard:
<extension point=
"org.eclipse.ui.ide.resourceFilters"
>
<filter pattern=
"*.class"
selected=
"true"
/>
</extension>
Copyright (c) 2002, 2004 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