ATTENTION : Ce point d'extension est DECONSEILLE.
N'utilisez pas ce point d'extension ; il sera supprimé des versions
ultérieures de ce produit.
Utilisez plutôt le point d'extension
org.eclipse.ui.commands
Un jeu de raccourcis déclare l'étendue pour laquelle il est applicable en répertoriant l'ID de cette dernière comme valeur de son attribut scopeId (reportez-vous au point d'extension Jeux de raccourcis). De nombreux jeux de raccourcis clavier peuvent être appliqués pour la même étendue.
<!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=
"Globale"
description=
"Touche de raccourci clavier applicable à toutes les vues et à tous les éditeurs, sauf mention contraire."
>
</acceleratorScope>
<acceleratorScope id=
"org.eclipse.ui.javaEditorScope"
name=
"Editeur Java"
description=
"Touche de raccourci clavier uniquement applicable lorsque l'éditeur Java est actif."
parentScope=
"org.eclipse.ui.globalScope"
>
</acceleratorScope>
</extension>
Copyright (c) 2002, 2004 IBM Corporation and others.
All rights reserved. Ce programme et les produits associés sont
distribués sous licence publique Eclipse v1.0 et disponibles à
l'adresse suivante :
http://www.eclipse.org/legal/epl-v10.html