On Wed, 21 Jul 2004 00:17:07 -0300 Daniel Figueira <[EMAIL PROTECTED]> wrote:
> Is it possible to change the font size in Window Maker?
> Im referring to the font that appears in menus, buttons, etc.
> If read about wsetfont, but that apparentely only changes the font and
>
> not the size. Am I correct? Looks like helvetica is the default font.
> My fonts just look way too big.
>
> Thank you
>
Sure is. Depending on the "theme" you're using, look in the
~/GNUstep/Library/WindowMaker/Themes directory for a local themes. Or
search your system for the WindowMaker default themes.
For the fonts, background, etc, you need to look at the file "style'.
Peruse through that, and change the font size, or whatever.
--
Rodney D. Myers <[EMAIL PROTECTED]>
Registered Linux User #96112
ICQ#: AIM#: YAHOO:
18002350 mailman452 mailman42_5
They that can give up essential liberty to obtain a
little temporary safety deserve neither liberty nor safety.
Ben Franklin - 1759
pgpGyHj1OcMMo.pgp
Description: PGP signature
