[MPlayer-users] gui font size

RC rcooley at spamcop.net
Fri Aug 5 09:38:32 CEST 2005

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.

More information about the MPlayer-users mailing list