[GRASS-dev] Re: gis.m: font selection in module panels

[Michael Barton]

Normally, either GRASS_FONT has been set or it hasn't. It probably won't be
set to "". How is the best way to determine if it has been set or not?

Michael


On 5/20/07 8:50 PM, "Glynn Clements" <glynn at gclements.plus.com> wrote:

> FWIW, I would change:
> 
> if {[info exists env(GRASS_FONT)] && $env(GRASS_FONT) != ""} {
> ...
> }
> to:
> catch {
> if {$env(GRASS_FONT) != ""} {
> ...
> }
> }
> 

__________________________________________
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