Re: text size

[Gleef <dzol virtual-yellow com>]

On Fri, 26 Mar 1999, Fox, Kevin M wrote:
> how do you jack up your font size? my text is biddy :)

Edit the text file "~/.gtkrc".  If you have set a theme, you should have a
section labeled 'style "default"' already, with a font line to change.  If
not you can make one:

  style "default"
  {
    font = "-adobe-helvetica-medium-r-normal--*-120-*-*-*-*-*-*"
  }

That "120" is the font size in decipoints (i.e. it is 12 points).  Make it
bigger if you want a bigger font.  Change the typeface if you want a new
typeface.  You can use the "gfontsel" command to help you identify the
font you want.

Yes, this really should go into the control-center at some point.

-Gleef