Kurzinfo für Java-Editor-Text

Kennung: org.eclipse.jdt.ui.javaEditorTextHovers

Beschreibung: Dieser Erweiterungspunkt wird für das Plug-in von Text-QuickInfos in einem Java-Editor verwendet.

Konfigurationsbefehle:

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

Beispiele: Das folgende Beispiel zeigt die Definition einer Kurzinfo:

 <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 und Andere. Alle Rechte vorbehalten.