Français

SpaceLauncher pour macOS

Touche leader

Cet article explique ce qu’est une touche leader et comment la configurer selon différents types.

Définissons d’abord quelques termes.

Dans SpaceLauncher, vous maintenez la barre d’espace enfoncée puis pressez d’autres touches pour déclencher une action.

p. ex. Espace›S → lancer Safari

J’appelle la barre d’espace la touche leader. Je l’appelle ainsi parce que la barre d’espace n’est pas le seul choix possible : vous pouvez définir différents types de touches leader.

J’appelle les touches pressées après la touche leader les touches de déclenchement (le S dans l’exemple).

Espace›F›W → ouvrir le dossier Téléchargements

Dans cet exemple, F, W est une séquence de touches de déclenchement.

Enregistrer un raccourci

La plupart du temps, vous n’avez pas à décrire un raccourci. Vous le pressez, et SpaceLauncher note ce que vous avez pressé.

Quand vous ajoutez ou modifiez un raccourci, cliquez sur « Enregistrer le raccourci ». SpaceLauncher vous demande de presser d’abord la touche leader, puis les touches de déclenchement. Maintenez Espace, pressez F puis W, relâchez Espace. La touche leader comme les touches de déclenchement proviennent des touches réellement pressées : pour une configuration ordinaire, vous n’avez donc jamais à penser aux codes de touche.

Deux choses à savoir pendant l’enregistrement :

Les nouveaux raccourcis partent de la touche leader définie dans « Réglages > Général > Touche leader par défaut » ; si vous en pressez une autre pendant l’enregistrement, elle la remplace.

Le reste de cette page couvre les cas que l’enregistrement ne traite pas : définir une touche leader à la main, et utiliser une touche que vous ne pouvez pas presser sur le clavier devant vous.

Types de touches leader

Vous pouvez choisir différentes touches leader et leur mode d’utilisation, par exemple :

Les deux premiers cas correspondent à « Maintenir comme touche leader », le troisième à « Pression comme touche leader ». Le fait que la touche conserve sa fonction normale dépend de « Conserver l’appui rapide » : activée, une pression brève tape la touche comme d’habitude, et seul le maintien active SpaceLauncher.

Qu’est-ce qu’un code de touche personnalisé ?

Un code de touche est un entier défini par le système qui correspond à une touche donnée. Par exemple :

Sur un clavier à disposition par défaut, le code de la barre d’espace est 49, celui de la touche A est 0 et celui de la touche S est 1.

Quand vous indiquez Espace dans les réglages, vous transmettez en réalité son code de touche au système. Le champ de code de touche personnalisé vous permet d’indiquer directement ce code.

SpaceLauncher ne peut pas lister toutes les touches disponibles : vous utilisez peut-être un clavier que je ne connais pas. Je pourrais limiter les touches à un petit ensemble, mais je préfère vous laisser la liberté de définir vos raccourcis. C’est pourquoi je liste explicitement quelques touches recommandées, tout en proposant le champ de code personnalisé pour utiliser d’autres touches.

Comment obtenir le code d’une touche ?

Sélectionnez « Code de touche personnalisé » dans les réglages de la touche leader : un bouton « Rechercher le code de touche » apparaît à côté du champ. Cliquez dessus et tapez une touche : son code s’affiche et se remplit.

Vous verrez que le code de Z est 6 sur une disposition de clavier standard. Pour maintenir Z et presser S afin de déclencher une action, configurez la touche leader ainsi :

Autres exemples

Pour maintenir F12 et presser des touches de déclenchement, en supprimant la fonction d’origine de F12 :

Notez que, par défaut dans macOS, F12 augmente le volume. Vous pouvez changer ce comportement dans Réglages Système, Clavier, Raccourcis clavier…, Touches de fonction.

Pour presser et relâcher Option-S, puis presser des touches de déclenchement :

Pour presser et relâcher Commande, puis presser des touches de déclenchement :

Voir aussi