org.eclipse.jface.text.source.ProjectionViewer
per riferimento.
Le estensioni possono facoltativamente fornire un blocco delle preferenze che verrà visualizzato sulla pagina delle preferenze dell'editor Java.
<!ELEMENT extension (provider)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT provider EMPTY>
<!ATTLIST provider
id CDATA #REQUIRED
name CDATA #IMPLIED
class CDATA #REQUIRED
preferencesClass CDATA #IMPLIED>
org.eclipse.jdt.internal.ui.text.folding.DefaultJavaFoldingStructureProvider
per un esempio.
org.eclipse.jdt.internal.ui.text.folding.DefaultJavaFoldingStructureProvider
fornisce la struttura di raggruppamento predefinita per l'editor Java.
org.eclipse.jdt.internal.ui.text.folding.DefaultJavaFoldingPreferenceBlock
fornisce il blocco delle preferenze per il fornitore della struttura predefinita.
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