diff options
| author | Ricardo Constantino <wiiaboo@gmail.com> | 2016-09-23 23:36:17 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-09-26 19:25:14 +0200 |
| commit | f0ab9f05f1709ccda63e7e695031e1030dee6626 (patch) | |
| tree | 1eb3156c30ec30d0ad154f6fc3fd7261e4f9dead /etc | |
| parent | dd339b200be99ecac1a0bb4a7509b338120c5bce (diff) | |
| download | mpv-f0ab9f05f1709ccda63e7e695031e1030dee6626.tar.bz2 mpv-f0ab9f05f1709ccda63e7e695031e1030dee6626.tar.xz | |
player: allow opts in pseudo-gui set by the user to override user's default
This should still allow user-set default options to override built-in
pseudo-gui while respecting user-set pseudo-gui options.
Pros:
- user option in default profile overrides built-in pseudo-gui's options
Ex: screenshot-directory overrides built-in pseudo-gui's
- user can "fix" pseudo-gui if some option like "force-window=no" is set
in default by setting "force-window=yes" in [pseudo-gui]
- `mpv --profile=pseudo-gui` will work as before
Cons:
- --show-profile=pseudo-gui won't display the built-in's options
Original idea from wm4.
Documentation edits mostly by wm4.
Signed-off-by: wm4 <wm4@nowhere>
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/builtin.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/builtin.conf b/etc/builtin.conf index da51495a71..533dce7127 100644 --- a/etc/builtin.conf +++ b/etc/builtin.conf @@ -3,6 +3,9 @@ # applied at later stages during loading. [pseudo-gui] +player-operation-mode=pseudo-gui + +[builtin-pseudo-gui] terminal=no force-window=yes idle=once |