I wrote on Fri, 07 Oct 2011 15:10:11 +0200: > It is annoying and hardly to understand why > mplayer -gui file > won't play, but > mplayer -gui -v file > for example does. > This patch allows printing options that neither exit mplayer nor need an > "extra option" in order to work. Ping. There seem to be no objections? Ingo