Tekstpegefunktioner til Java-editorer

org.eclipse.jdt.ui.javaEditorTextHovers

Dette udvidelsespunkt bruges til plugins med tekstpegefunktioner i en Java-editor.

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


Nedenfor vises et eksempel på definitionen af en pegefunktion:

 

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