Comment 69 for bug 85751

I tested the patch and seems to work... but there's another little bug: mplayer works fine, but gmplayer, by default, tries to use "mga" as video output. If I launch it with "-vo xv", it works and remembers the new setting, using xv until I specify another one. Should I add this as a new bug?