Nous utilisons des cookies pour vous garantir la meilleure expérience sur notre site. Si vous continuez à utiliser ce dernier, nous considèrerons que vous acceptez l'utilisation des cookies. J'ai compris ! ou En savoir plus !.
banniere

Le portail francophone de la géomatique


Toujours pas inscrit ? Mot de passe oublié ?
Nom d'utilisateur    Mot de passe              Toujours pas inscrit ?   Mot de passe oublié ?

#1 Thu 10 January 2008 14:47

tallouis
Juste Inscrit !
Date d'inscription: 4 Sep 2007
Messages: 2

GRASS-GUI changer la taille de police ?

Bonjour,

Après avoir installé GRASS sous Linux, je souhaite m'initier.
J'ai pour le moment un problème graphique : la police dans l'interface graphique (GRASS-GUI en tcltk) est trop petite et je ne sais pas comment la changer.
Quelqu'un sait il comment faire ?
Merci!

Tristan


Fichier(s) joint(s) :
Pour accéder aux fichiers vous devez vous inscrire.

Hors ligne

 

#2 Fri 11 January 2008 10:47

tallouis
Juste Inscrit !
Date d'inscription: 4 Sep 2007
Messages: 2

Re: GRASS-GUI changer la taille de police ?

Voila la réponse à ma question :
éditer le fichier
/usr/lib/grass/etc/gtcltk/options.tcl

et changer 12 -> 14 et 14 -> 16

Voila!

Hors ligne

 

#3 Fri 11 January 2008 10:59

Yves
Membre du bureau
Lieu: Aix-les-Bains
Date d'inscription: 22 Mar 2006
Messages: 9869
Site web

Re: GRASS-GUI changer la taille de police ?

Bonjour,

Merci beaucoup Tallouis, j'avoue avoir cherché mais je n'avais pas trouvé.

Y.


Yves Jacolin, bénévole de l'association GeoRezo.net, agit au nom et pour le compte de l'association - Partageons ce qui nous départage !!  - GeoRezo vous aide ? Aidez GeoRezo !

Hors ligne

 

Pied de page des forums

Powered by FluxBB