[MPlayer-users] gui font size

[Andrej van der Zee]

Thanks for your answer. I changed the file
~/.gtkrc-1.2-gnome2 and added the following lines of
code:

style "user-font"
{ 
font="-bitstream-courier-medium-r-normal-*-*-200-*-*-m-*-iso8859-9"
}
widget_class "*" style "user-font"

Happily GNOME is using gtk2 so it does not influence
any other parts of my system (yet).

I also looked through several Skins but could not find
any GUI font settings for menus (only for the GUI
display, not the menus). 

But this works fine for me.

Thanks again!

Andrej




--- RC <rcooley at spamcop.net> wrote:

> On Fri, 5 Aug 2005 08:07:12 +0100 (BST)
> Andrej van der Zee <mavdzee at yahoo.co.uk> wrote:
> 
> > I tried to change the gtk system-wide font size by
> means of
> > gtk-theme-switch2 and indeed everything changes,
> except for gmplayer!
> 
> Gmplayer is still a GTK1 app, unless you're using
> unoffical patches.
> So a gtk2 theme switcher has no chance of working. 
> 
> It's also a themed app, so editing the skin should
> work.
> 
> _______________________________________________
> MPlayer-users mailing list
> MPlayer-users at mplayerhq.hu
> http://mplayerhq.hu/mailman/listinfo/mplayer-users
> 



		
___________________________________________________________ 
How much free photo storage do you get? Store your holiday 
snaps for FREE with Yahoo! Photos http://uk.photos.yahoo.com