Raccourcis clavier personnalisés
Le raccourci d'activation est désormais modifiable dans les Paramètres, et l'application utilise réellement la combinaison que vous avez définie, au lieu d'une combinaison codée en dur. Les installations existantes sont migrées, et les Paramètres affichent le raccourci que vous avez configuré plutôt qu'une étiquette fixe.