Re: Changing window title font
- From: Allan Duncan <amd2345 fastmail com au>
- To: sawfish-list gnome org
- Subject: Re: Changing window title font
- Date: Fri, 11 Jan 2008 13:54:50 +1100
Andrea Vettorello wrote:
On Jan 9, 2008 6:59 PM, Kieran McGivern <kmcgivern googlemail com> wrote:
How do I modify the size and font of window title via the .sawfishrc file?
FWIK, with ~/.sawfishrc file you can change the default-font and the
current theme could use it on the title bar with, using
(custom-set-typed-variable (quote default-font) (quote
"font-description") (quote font))
where in font-description you use the new fontconfig or old xlfd
description (you know the font name, family, foundry, weight, etc.)
Other than that, some theme can define a different font for title bar,
this is done for sure with the FinalStep theme, and IIRC, on Sanity
Try ~/.sawfish/custom instead.
(custom-set-typed-variable (quote default-font) (quote "-b&h-luxi
serif-medium-r-normal-*-*-160-*-*-p-*-iso8859-1") (quote font)
Of course that only applies if there is no other setting, such as
(custom-set-typed-variable (quote CoolClean:font) (quote
"-adobe-helvetica-medium-r-normal-*-*-180-*-*-p-*-iso8859-1") (quote font))
Since I can't see a serif font in front of me, I guess the latter spec.
applies, even if it does come before the default font.
] [Thread Prev