[gcmd-usr] Fw: A gnome-commander help request

[Micha]

Begin forwarded message:

Date: Fri, 3 Nov 2006 17:06:34 +1100
From: Felix Karpfen <address@hidden>
To: Micha <address@hidden>
Subject: A gnome-commander help request

If this does not have a simple, obvious answer, please ignore.

Since upgrading to Debian Sarge, Gnome Commander has become unusable
***when called by user***; the font of _all the headings and
drop-down menus_ is much too small (probable 4pt or less).  The fonts
of the files-names in the two windows is perfectly OK.

When called by "root" there is no problem.  All the fonts are a normal
size. 

If it has a simple remedy. please advise.

Felix
-- 


Felix,

i forwarded this to gcmd-users i hope it's ok. If you are using
gnome-commander regularly please consider to subscribe anyweay.

This is debian gnome-commadner 1.2.0-3.2 right ?
Did you already try settings->options-fonts ?
Perhaps there was a font configured previously, which isn't available 
anymore after the upgrade and this was pushed to a fallback somehow...
I've no better idea, besides a preset in your gtk-2 theme.
Launch the gnome-settings manager or try to hack ~/.gtkrc-2 (iirr).

greets, micha