diff options
| author | wm4 <wm4@nowhere> | 2016-09-23 21:24:50 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-09-23 21:24:50 +0200 |
| commit | 9eef41dec15580623cfa62909221fbc1fbf41706 (patch) | |
| tree | dc03baf40c1905f3af4725404ad16d909f0d1964 /options/options.c | |
| parent | f0fd6633205fe0b477032d2be5028a204c327e0b (diff) | |
| download | mpv-9eef41dec15580623cfa62909221fbc1fbf41706.tar.bz2 mpv-9eef41dec15580623cfa62909221fbc1fbf41706.tar.xz | |
player: do not let pseudo-gui override user config settings
Seems like this confused users quite often.
Instead of --profile=pseudo-gui, --player-operation-mode=pseudo-gui now
has to be used to invoke pseudo GUI mode. The old way still works, and
still behaves in the old way.
Diffstat (limited to 'options/options.c')
| -rw-r--r-- | options/options.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/options/options.c b/options/options.c index f401b00803..bbe74ff8a2 100644 --- a/options/options.c +++ b/options/options.c @@ -250,6 +250,10 @@ const m_option_t mp_opts[] = { OPT_FLAG("list-properties", property_print_help, CONF_NOCFG | M_OPT_FIXED | M_OPT_NOPROP), + OPT_CHOICE("player-operation-mode", operation_mode, + M_OPT_FIXED | M_OPT_PRE_PARSE | M_OPT_NOPROP, + ({"cplayer", 0}, {"pseudo-gui", 1})), + OPT_FLAG("shuffle", shuffle, 0), // ------------------------- common options -------------------- |