On Sat, Mar 31, 2001 at 03:03:41AM +0200, Remi Cohen-Scali wrote:
> Sorry, but I don't think so for mc. According the gnome midnight commander code
> (icon widget header gdesktop-icon.h), the desktop icons' font is a constant
> defined as this:
>
> #if OLD_DESKTOP_FONT
> #define DESKTOP_ICON_FONT "-*-helvetica-medium-r-normal--10-*-*-*-p-*-*-*," \
> "-*-*-medium-r-normal-*-10-*-*-*-*-*-*-*,*"
> #else
> #define DESKTOP_ICON_FONT \
> "-*-helvetica-bold-r-normal--10-*-*-*-p-*-*-*," \
> "-*-*-bold-r-normal-*-10-*-*-*-*-*-*-*,*"
> #endif
>
> Does this implies the font for the icons is fixed forever (unless mc source
> hacking of course). Does the gtk themes settings affect this hard setting ?
> My observations leads me to answer to the previous questions: yes - no;
> But I could be wrong ...
> If anyone knows a way for customizing icons font, please tell me ... The color is
> customizable through gtk themes, isn't it ?
Color's easy. Font is a source hack only. Further proof that gmc is evil
beyond belief.
--
Joseph Carter <knghtbrd debian org> Free software developer
<dark> "Yes, your honour, I have RSA encryption code tattood on my
penis. Shall I show the jury?"
Attachment:
pgpLbCE371x38.pgp
Description: PGP signature