[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gnome
Subject:    Re: Normal case icon names on desktop
From:       Joseph Carter <knghtbrd () debian ! org>
Date:       2001-03-31 2:59:26
[Download RAW message or body]

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 #3 (application/pgp-signature)]
_______________________________________________
gnome-list mailing list
gnome-list@gnome.org
http://mail.gnome.org/mailman/listinfo/gnome-list


[prev in list] [next in list] [prev in thread] [next in thread]