Re: Changing window title font
- From: "Andrea Vettorello" <andrea vettorello gmail com>
- To: sawfish-list gnome org
- Subject: Re: Changing window title font
- Date: Thu, 10 Jan 2008 09:48:35 +0100
On Jan 9, 2008 6:59 PM, Kieran McGivern <kmcgivern googlemail com> wrote:
> Hi,
> 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
too.
--
Andrea
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]