Java Editor Text Hovers

org.eclipse.jdt.ui.javaEditorTextHovers

This extension point is used to plug-in text hovers in a Java editor.

<!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">


The following is an example of a hover definition:

 

<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>