Description: This extension point is used to plug-in text hovers in a Java editor.
Configuration Markup:
<!ELEMENT hover EMPTY>
<!ATTLIST hover
id CDATA #REQUIRED
class CDATA #REQUIRED
>
The following is an example of a hover defintion:
<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">
</hover>
</extension>