Annonce
Pour sécuriser votre compte sur les forums du GeoRezo, nous demandons de changer votre mot de passe.
Vous allez recevoir un message pour effectuer ce changement de mot de passe.
Merci de bien respecter les règles préconisées.
#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
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
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