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) 2001, 2004 IBM Corporation and others.
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html