raccourci clavier
Une définition du Jargon Français.
(Redirigé depuis raccourci-clavier)
locution nominale, masculin→. [clavier]. Méthode d'appel (déclenchement) d'une fonctionnalité par une combinaison de touches réduisant les déplacements de la main.
Sous un GUI, par exemple, cela épargne un mouvement de la main qui devrait, sinon, quitter le clavier afin d'employer la souris pour sélectionner un élément de menu.
En théorie (ces nuances ne sont plus guère respectées) :
- la combinaison est le message, absolu car ne dépendant pas du logiciel destinataire
- on parlera par exemple de « Control Q », sans décrire le contexte
- le « raccourci » associe la combinaison au sens qu'elle revêt pour un logiciel donné
- sous le logiciel Emacs, par exemple, la combinaison « Control x suivie de Control c » déclenche l'exécution d'une fonction menant à le quitter
Le grand classique étant « Ctrl+Alt+Suppr » pour reseter une machine sous MS-DOS ou bien ouvrir une session Windows, ou encore « Alt+Pomme+P+R » pour essayer de faire fonctionner un Mac.
La norme officielle accepte aussi « raccourci au clavier ».
Voir aussi touche chaude.
 Voir aussi : shell (sens 2)
|
