Wow ! Merci Zooen !

Grace a toi je viens de redécouvrir des options que j'avais oubliées ou pas vues auparavant.
En particulier la taille UI et la précision.
Travaillant en millimètres, la précision à cinq décimales ne me sera pas utile en pratique, mais c'est cool tout de même.
La taille UI, elle, peut m'aider avec des tailles d'écrans variables d'un PC à l'autre.

Je vais m'endormir moins ignorant ce soir...