Bonjour
et merci de votre réponse.
Lorsque je désactive une police ou famille de police,
(que ce soit par le menu, le bouton, le clic droit ou le raccourci clavier)
la police ne se grise pas et reste donc activée.
La « panne » s’est produite alors que je gérais les polices et que l’activation
désactivation fonctionnait l’instant d’avant.
J’ai essayé avec une session invité, et là ça fonctionne en effet.
Le problème est donc circonscrit à ma session principale (administrateur)
Merci de m’indiquer la démarche à suivre.
bien cordialement
François