[GRASS-dev] How to change fonts in gis manager?

[Michael Barton]

Glynn,

Thanks. I can do something to implement these. I have a related question.
TclTk (and wxPython) have built-in utilities to allow the user to  select a
"system" font of some kind (e.g., {timeroman 12 bold}). Is there any way
that GRASS can recognize these?

Michael
__________________________________________
Michael Barton, Professor of Anthropology
School of Human Evolution & Social Change
Center for Social Dynamics & Complexity
Arizona State University

phone: 480-965-6213
fax: 480-965-7671
www: http://www.public.asu.edu/~cmbarton



> From: Glynn Clements <glynn at gclements.plus.com>
> Date: Mon, 6 Nov 2006 14:40:34 +0000
> To: Michael Barton <michael.barton at asu.edu>
> Cc: grass-dev <grass-dev at grass.itc.it>
> Subject: Re: [GRASS-dev] How to change fonts in gis manager?
> 
> For GRASS_FONT, the value is passed directly to R_font(), and should
> be one of:
> 
> 1. The full path to a stroke font, beginning with $GISBASE/fonts.
> 2. The full path to a FreeType font (.ttf file).
> 3. The name of a FreeType font from the freetypecap file.
> 4. The name of a stroke font in the $GISBASE/fonts directory.