Modification taille police vue

[Zurga]

Vu que c'est compliqué de définir la taille des caractères entre les fichiers possibles, à partir de demain, on pourra le faire directement à partir des préférences.
Attendez-vous à des surprises si vous vous éloignez beaucoup de la taille 12 (valeur initiale).

Zurga