Tekstpeking for Java-redigeringsprogram
Identifikator:
org.eclipse.jdt.ui.javaEditorTextHovers
Beskrivelse:
Dette utvidelsespunktet brukes til å plugge inn tekstpeking i et Java-redigeringsprogram.
Konfigurasjonskodetype:
<!ELEMENT extension (hover*)>
<!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 hover EMPTY>
<!ATTLIST hover
id CDATA #REQUIRED
class CDATA #REQUIRED
label CDATA #IMPLIED
description CDATA #IMPLIED
activate (true | false) "false">
- id - ID, typisk den samme som fullstendig klassenavn.
- class - fullstendig klassenavn som implementerer grensesnittet org.eclipse.jdt.ui.text.java.hover.IJavaEditorTextHover.
- label - oversettbar etikett for denne tekstpekeren.
- description - oversettbar beskrivelse for denne tekstpekeren.
- activate - hvis attributtet er satt til "true", vil det tvinge plugin-modulen til å lastes inn ved aktivering av tekstpeker.
Eksempler:
Her er et eksempel på definisjon av tekstpeker:
<extension point=
"org.eclipse.jdt.ui.javaEditorTextHover"
>
<hover
id=
"org.eclipse.example.jdt.internal.debug.ui.JavaDebugHover"
class=
"org.eclipse.example.jdt.internal.debug.ui.JavaDebugHover"
label=
"%javaVariableHover"
/>
</hover>
</extension>
Copyright (c) 2001, 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