[MPlayer-users] gui font size

Andrej van der Zee mavdzee at yahoo.co.uk
Fri Aug 5 10:28:21 CEST 2005

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

style "user-font"
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!


--- 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

More information about the MPlayer-users mailing list