1 files changed, 6 insertions, 0 deletions
diff --git a/mplayer.c b/mplayer.c
index fd996dcf72..d670b32f69 100644
--- a/mplayer.c
+++ b/mplayer.c
@@ -227,6 +227,8 @@ int use_gui=0;
 int enqueue=0;
 #endif
 
+static int list_properties = 0;
+
 #define MAX_OSD_LEVEL 3
 #define MAX_TERM_OSD_LEVEL 1
 
@@ -1815,6 +1817,10 @@ if(!codecs_file || !parse_codec_cfg(codecs_file)){
       mp_msg(MSGT_CPLAYER, MSGL_INFO, "\n");
       opt_exit = 1;
     }
+    if(list_properties) {
+      m_properties_print_help_list(mp_properties);
+      opt_exit = 1;
+    }
 
     if(opt_exit)
       exit_player(NULL);