Testi a comparsa dell'editor Java
Identificativo:
org.eclipse.jdt.ui.javaEditorTextHovers
Descrizione:
Questo punto di estensione viene utilizzato per collegare i testi a comparsa in un editor Java.
Tag di configurazione:
<!ELEMENT extension (hover*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - identificativo completo del punto di estensione di
destinazione
- id - identificativo dell'istanza dell'estensione
- name - nome dell'istanza dell'estensione facoltativo
<!ELEMENT hover EMPTY>
<!ATTLIST hover
id CDATA #REQUIRED
class CDATA #REQUIRED
label CDATA #IMPLIED
description CDATA #IMPLIED
activate (true | false) "false">
- id - identificativo, in genere corrisponde al nome completo della
classe
- class - nome completo della classe che implementa l'interfaccia org.eclipse.jdt.ui.text.java.hover.IJavaEditorTextHover.
- label - etichetta di testo per il testo a comparsa.
- description - descrizione per il testo a comparsa.
- activate - se l'attributo è impostato a "true", determina il
caricamento del plugin all'attivazione del testo a comparsa.
Esempi:
Di seguito è riportato un esempio di una definizione a comparsa:
<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 e altri.
Tutti i diritti riservati. Questo programma e il materiale di accompagnamento
sono disponibili secondo i termini della Eclipse Public License v1.0 che sono
distribuiti con il prodotto, e disponibili all'indirizzo
http://www.eclipse.org/legal/epl-v10.html