setting font size in widgets?

[Brian E. Doty]

Wesley, the fonts used in widgets are X Windows fonts,
from the "-adobe-helvetica-bold-r-normal" series, usually
available on most X servers.  Three font sizes are allocated,
and the font size used in the widgets is determined by
the real size (in pixels) of the GrADs display window.

It is all set up in gxX.c.  Probably not too hard to
tweak it for a custom build if you want to change the
three sizes.  You would have to look at the code -- I don't
remember if it automatically adjusts the widgets if one
goes and changes the font names (and thus the font
sizes)... Brian