06-08-23, 08:56
Bonjour, il y a peut-être plusieurs méthodes pour attribuer un raccourci clavier à un style, mais j'ai identifié celle-ci pour un style existant (évidemment) :
Voilà.
- ouvrir les Préférences (la roue crantée)
- choisir Raccourcis > Options globales > Styles
- double-cliquer sur le style auquel on souhaite attribuer un raccourci clavier
- saisir au clavier la combinaison de touches qu'on souhaite associer au style en tant que raccourci clavier
Voilà.
dt stable / Ubuntu 22.04