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