[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
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.
--- 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
> MPlayer-users mailing list
> MPlayer-users at mplayerhq.hu
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