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 hover EMPTY>
   <!ATTLIST hover
      id CDATA #REQUIRED
      class CDATA #REQUIRED
   >

Examples:

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>


 Copyright IBM Corporation 2000, 2002. All Rights Reserved.