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 ...
|