Jeux de raccourcis clavier

Identificateur : org.eclipse.ui.acceleratorSets

Description : ce point d'extension est utilisé pour enregistrer des extensions de jeux de raccourcis clavier. Ces derniers ne sont rien d'autre que des ensembles de raccourcis. Un raccourci est l'association d'une ou plusieurs séquences de touches à une action du plan de travail. La longueur d'une séquence de touches peut être de un ou plus.

Un jeu de raccourcis est enregistré avec une configuration de raccourcis ( reportez-vous au point d'extension Configuration de raccourcis) et s'applique à une portée de raccourcis (reportez-vous au point d'extension Portée de raccourcis).

Depuis : version 2.0

Marques de configuration :

   <!ELEMENT acceleratorSet (accelerator)+>
   <!ATTLIST acceleratorSet
      configurationId     CDATA #REQUIRED
      scopeId             CDATA #REQUIRED
   >

   <!ELEMENT accelerator EMPTY>
   <!ATTLIST accelerator
      id                  CDATA #REQUIRED
      key                 CDATA #REQUIRED
      locale              CDATA #OPTIONAL
      platform            CDATA #OPTIONAL
   >

Plusieurs raccourcis d'un jeu peuvent correspondre à la même action mais un seul sera utilisé.

Si l'environnement local et/ou la plateforme sont spécifiés, le raccourci clavier correspondant le plus à ces derniers sera utilisé. L'environnement local actuel est déterminé par l'API Locale.getDefault() et la plateforme par l'API SWT.getPlatform(). Si la plateforme et/ou l'environnement local sont spécifiés mais ne correspondent pas à ceux actuels, le raccourci clavier est supprimé. Si le raccourci A définit uniquement l'environnement local et le raccourci B la plateforme, ce dernier est utilisé. Si le raccourci A définit "ja" comme environnement local et le raccourci B "ja_JP", ce dernier est utilisé lorsque l'environnement local actuel est "ja_JP".

Si deux raccourcis sont définis dans des jeux appartenant à des plug-in différents, le raccourci choisi dépendra de ces plug-in. Si le plug-in A dépend du B, les raccourcis définis dans B sont utilisés. Si A et B sont indépendants l'un de l'autre, ils seront classés par ordre alphabétique par l'ID du plug-in.

Si deux raccourcis sont définis dans des portées différentes, celui défini dans la portée actuelle est utilisé. Si un raccourci n'est pas défini dans la portée actuelle ou l'un de ses parents, il est supprimé. Si un raccourci est défini dans une portée parent ou enfant, celui de la portée enfant est utilisé.

Exemples :

Voici l'exemple d'une extension de jeu de raccourcis :

   <extension point="org.eclipse.ui.acceleratorSets">
      <acceleratorSet
        configurationId="org.eclipse.ui.exampleAcceleratorConfiguration"
        scopeId="org.eclipse.ui.globalScope">
          <accelerator
              id="org.eclipse.ui.ExampleActionA"
              key="CTRL+R CTRL+A"
          </accelerator>
          <accelerator
              id="org.eclipse.ui.ExampleActionB"
              key="CTRL+R CTRL+B"
          </accelerator>
          <accelerator
              id="org.eclipse.ui.ExampleActionC"
              key="CTRL+R CTRL+C || CTRL+MAJ+SUPPR"
          </accelerator>
      </acceleratorSet>
   </extension>

Informations d'API : aucune.

Implémentation fournie : le plan de travail fournit des jeux de raccourcis pour les configuration par défaut et Emacs.

Copyright IBM Corporation and others 2000, 2002.