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 section.
that's set the title bars of windows but not the menus and other bits. It appears to have only affected things by the window manager. An example is the gnome-terminals, the top title bar is now a nice smaller font but the menubar (with "File Edit Settings Help") still has large fonts (probably about 14 point I'd guess and I want probably 10). But it's not a property of gnome-terminal as that same too large font appears through everything, evolution, mozilla, the panel at the bottom of the screen etc. Dave. -- SLUG - Sydney Linux User's Group - http://slug.org.au/ More Info: http://lists.slug.org.au/listinfo/slug
