Kurzinfo für Java-Editor-Text
Kennung:
org.eclipse.jdt.ui.javaEditorTextHovers
Beschreibung:
Dieser Erweiterungspunkt wird für das Plug-in
von Textkurzinfos in einem Java-Editor verwendet.
Konfigurationsbefehle:
<!ELEMENT extension (hover*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - Vollständig qualifizierte ID des Zielerweiterungspunktes
- id - Optionale ID des Erweiterungsexemplars
- name - Optionaler Name des Erweiterungsexemplars
<!ELEMENT hover EMPTY>
<!ATTLIST hover
id CDATA #REQUIRED
class CDATA #REQUIRED
label CDATA #IMPLIED
description CDATA #IMPLIED
activate (true | false) "false">
- id - ID, normalerweise mit dem vollständig qualifizierten Klassennamen identisch
- class - Vollständig qualifizierter Name der Klasse, die die Schnittstelleorg.eclipse.jdt.ui.text.java.hover.IJavaEditorTextHover implementiert
- label - Übersetzbare Bezeichnung für diese Kurzinfo
- description - Übersetzbare Beschreibung für diese Kurzinfo
- activate - Wenn das Attribut auf "true" gesetzt ist, wird das Laden dieses Plug-ins bei der Aktivierung
der Kurzinfo erzwungen.
Beispiele:
Das folgende Beispiel zeigt die Definition einer Kurzinfo:
<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 und Andere.
Alle Rechte vorbehalten. Dieses Programm und sein Begleitmaterial werden gemäß
den Bedingungen der 'Eclipse Public License v1.0' zur Verfügung gestellt, die diese Verteilung begleitet und
unter http://www.eclipse.org/legal/epl-v10.html abgerufen werden kann.