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
>
-
point - a fully qualified identifier of the target extension point
-
id - an optional identifier of the extension instance
-
name - an optional name of the extension instance
<!ELEMENT hover EMPTY>
<!ATTLIST hover
id CDATA #REQUIRED
class CDATA #REQUIRED
label CDATA #IMPLIED
description CDATA #IMPLIED
activate (true | false) "false"
>
-
id - the id, typically the same as the fully qualified class name
-
class - the fully qualified class name implementing the interface
org.eclipse.jdt.ui.text.java.hover.IJavaEditorTextHover
-
label - the translatable label for this hover
-
description - the translatable description for this hover
-
activate - if the attribute is set to "true" it will force this plug-in to be loaded on hover activation
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
https://www.eclipse.org/legal/epl-v10.html
