Bonsoir à toutes et à tous,
Dans l'environnement Windows : pas de problème. Dans l'environnement Linux (Ubunto 7.10), la taille des caractères dans les menus et toutes les boîtes de dialogues est trop grande. J'ai vérifié ce point dans d'autres programmes : pas de problème.
Je n'ai pas réussi à touver où corriger cela. Je n'ai rien trouvé dans "Configuration/Options d'environnement".
Avez-vous une idée ?
Merci de votre aide.
Piertre
Partager