On Tue, Jul 30, 2002 at 09:45:55AM +1000, Jeff Waugh wrote:
quote who=David Fitch
I've installed the r0 of debian woody on my machine at work, works great
so far. One question though: how do I change the default font in gnome
(1.4.0 I think it is)?
In gnomecc, under the GTK+ theme
quote who=David Fitch
In gnomecc, under the GTK+ theme section.
that's set the title bars of windows but not the menus and other bits.
Er... The only way to change that in sawfish (assuming you're using it) is
under the sawfish section in gnomecc... Hmm.
It appears to have only affected
On Tue, 2002-07-30 at 19:49, Jeff Waugh wrote:
quote who=David Fitch
In gnomecc, under the GTK+ theme section.
that's set the title bars of windows but not the menus and other bits.
Er... The only way to change that in sawfish (assuming you're using it) is
under the sawfish section
ok I moved my .gnome* stuff out the way in my home dir and
logged in and started again (as far as gnome is concerned)
and still got the extra large font but now I am able to change
it by doing this:
Okay, run 'gnomecc' and go into the Desktop Theme Selector capplet.
There's a frame in there
Hi all,
I've installed the r0 of debian woody on my machine at work,
works great so far. One question though: how do I change
the default font in gnome (1.4.0 I think it is)?
I can change the font in the gnome-terminals etc but that's
not it, I want the font used in the title bars, the panel
quote who=David Fitch
I've installed the r0 of debian woody on my machine at work, works great
so far. One question though: how do I change the default font in gnome
(1.4.0 I think it is)?
In gnomecc, under the GTK+ theme section.
- Jeff
--
But in the software world, that's daily
