Merker som opprettes ved hjelp av støtten for org.eclipse.core.resources.markers, kan vises i brukergrensesnittet med utvidelsespunktet org.eclipse.ui.ide.markerHelp, org.eclipse.ui.ide.markerResolution og org.eclipse.ui.ide.markerSupport. APIen org.eclipse.ui.ide.markerImageProvider er intern i utgave 3.2.
org.eclipse.ui.ide.markerHelp
org.eclipse.ui.ide.markerHelp
er utvidelsespunktet som gjør det mulig å
knytte en hjelpekontekst til merketypen.
org.eclipse.ui.ide.markerResolution
org.eclipse.ui.ide.markerResolution
er utvidelsespunktet som gjør det mulig å
levere hurtigrettelser for merker. Java-redigeringsprogrammet og Problemer-visningen
er to steder der dette kan brukes nå. Med dette utvidelsespunktet
kan plugin-utviklerne oppgi en IMarkerResolutionGenerator
som kan fastsette de mulige løsningene for et merke.
Fra utgave 3.2 støtter Problemer-visningen flere løsninger som gjør det mulig for
brukeren å legge til andre tilsvarende problemer på listen over problemer som skal rettes,
og så ta i bruk den valgte rettelsen for alle problemene på en gang. Hvis IMarkerResolutions
er forekomster av WorkbenchMarkerResolution,
kan brukere legge til andre tilsvarende WorkbenchMarkerResolutions
i dialogboksen Hurtigrettelse.
Dialogboksen Hurtigrettelse med to manglende eksternaliseringer
org.eclipse.ui.ide.markerSupport
org.eclipse.ui.ide.markerSupport
er utvidelsen for å oppgi hvordan
merker vises i Problemer-visningen. Dette utvidelsespunktet håndterer
filtre og gruppering.
Filtre
Fra Eclipse 3.2 håndterer Problemer-visningen flere filtre. Vær oppmerksom på at disse filtrene summerer resultatene i stedet for å finne unionen. Nye filtre kan legges til ved hjelp av problemFilter-utvidelseselementet eller manuelt av brukeren. Nedenfor er filterseksjonen i Problemer-visningen, som viser brukerfiltre og filtre lagt til via utvidelsespunktet (systemfiltre).
Gruppering
Merker kan grupperes på to måter. Den første er å gruppere merketyper i grupper ved hjelp av utvidelsen
markerTypeCategory
. Dette blir vist når brukeren velger
Grupper etter - > Type. Nedenfor er et eksempel som viser Java-problemer, og noen som bruker en testgruppering.
Når merketyper grupperes sammen, vil de bli vist i disse grupperingene i filterkatalogen.
Du kan også opprette din egen gruppering ved hjelp av markerGrouping
-utvidelsen,
som vises som en ekstra oppføring i Grupper etter->Meny i
Problemer-visningen. IDE har en gruppering basert på alvorsgrad (standard).
JDT har dessuten en Java-type-gruppering i SDK.
markerGroupings
tolkes ved kontroll av attributter på
IMarker. markerAttributeMappings
brukes for å spesifisere disse tilordningene. Nedenfor er Grupper etter-menyen med den ekstra
markerGroupings
som er lagt til. Problemer-visningen er gruppert etter alvorsgrad.