Annonce
L'appel à participation est ouvert jusqu'au 19 janvier 2025!
#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
