AVVISO: questo punto di estensione è OBSOLETO.
Non utilizzare questo punto di estensione, questo verrà eliminato dalle
prossime versioni del prodotto.
In alternativa utilizzare il punto di estensione
org.eclipse.ui.commands
Un insieme di tasti di scelta rapida dichiara per quale ambito è applicabile creando un elenco degli id degli ambiti in base al valore dell'attributo "scopeId" (consultare la sezione relativa al punto di estensione Insiemi di tasti di scelta rapida). Per uno stesso ambito possono essere applicabili più insiemi di tasti di scelta rapida.
<!ELEMENT extension (acceleratorScope*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
<!ELEMENT acceleratorScope EMPTY>
<!ATTLIST acceleratorScope
id CDATA #REQUIRED
name CDATA #REQUIRED
description CDATA #REQUIRED
parentScope CDATA #IMPLIED>
<extension point=
"org.eclipse.ui.acceleratorScopes"
>
<acceleratorScope id=
"org.eclipse.ui.globalScope"
name=
"Global"
description=
"Action accelerator key applicable to all views and editors unless explicitly overridden."
>
</acceleratorScope>
<acceleratorScope id=
"org.eclipse.ui.javaEditorScope"
name=
"Editor Java"
description=
"Action accelerator key applicable only when java editor active."
parentScope=
"org.eclipse.ui.globalScope"
>
</acceleratorScope>
</extension>
Copyright (c) 2002, 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