[MPlayer-users] gui font size
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