diff playtree.c @ 34149:11d9ef2177ec

Improve option type CONF_TYPE_PRINT. Allow printing options that neither exit MPlayer nor need an "extra option" in order to work. This fixes that mplayer -gui file won't play, while mplayer -gui -v file for example does.
author ib
date Sat, 22 Oct 2011 11:00:31 +0000
parents 2df1a5fee8a7
children 389d43c448b3
line wrap: on
line diff