Si j'utilise le Ctrl + et Ctrl - Combinaisons de touches Je peux réduire ma taille de police à 8 points, même si je modifie mes préférences utilisateur, je peux le définir comme bon me semble. Le problème est une fois que je fais cela, toute utilisation des combinaisons de touches ci-dessus réinitialise la police à au moins 8 pt.
Existe-t-il un moyen de remplacer ce comportement / de réduire la taille de police minimale?