Kurzinfo für Java-Editor-Text

org.eclipse.jdt.ui.javaEditorTextHovers

Dieser Erweiterungspunkt wird für das Plug-in von Textkurzinfos in einem Java-Editor verwendet.

<!ELEMENT extension (hover*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT hover EMPTY>

<!ATTLIST hover

id          CDATA #REQUIRED

class       CDATA #REQUIRED

label       CDATA #IMPLIED

description CDATA #IMPLIED

activate    (true | false) "false">


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>