Java Editor Text Hovers

Identifier: org.eclipse.jdt.ui.javaEditorTextHovers

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

Configuration Markup:

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

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

Copyright (c) 2000, 2003 IBM Corporation and others. All Rights Reserved.