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

Beispiele:

Beispiel für eine Quickinfo-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">
      </hover>
   </extension>


 Copyright IBM Corporation und Andere 2000, 2002. Alle Rechte vorbehalten.