[MPlayer-users] gui font size

[RC]

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.