Correction de plusieurs erreurs dans la gestion de la liste des raccourcis clavier, sur les 3 plateformes:
Sur MacOS, Windows, Linux, décalage des raccourcis faisant intervenir des caractères accentués
Sur Windows et Linux, disparition de certains raccourcis dans la liste
Sur Linux, mauvaise prise en compte des raccourcis par défaut de sélection des longueurs de note. |
