diff options
author | James Ross-Gowan <rossy@jrg.systems> | 2019-12-08 03:16:10 +1100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2019-12-08 02:46:44 +0100 |
commit | b3b2cc44fa783c1575b3e229c79f2977f75a57c1 (patch) | |
tree | 75bf9dff47ace47d426c986439a926ae1484182f /DOCS/man/options.rst | |
parent | b2b15d4e6e1d92290d0d7e772b9a5468ddea8a81 (diff) | |
download | mpv-b3b2cc44fa783c1575b3e229c79f2977f75a57c1.tar.bz2 mpv-b3b2cc44fa783c1575b3e229c79f2977f75a57c1.tar.xz |
console.lua: add this script
Merged from mpv-repl git repo commit 5ea2bf64f9c239f0326b02. Some
changes were made on top of it:
- Tabs were converted to 4 spaces indentation (plus some manual
indentation fixes in some places).
- All user-visible mentions of "repl" were renamed to "console".
- The README was converted to a manpage (with heavy changes, some
additions taken from stats.rst; rossy converted the key bindings
table to RST).
- The method to change the default key binding was changed.
- Change minor detail about "font" default value setting (not a
functional change).
- Integrate into the player as builtin script, including an option to
prevent loading it.
Above changes and commit message done by wm4.
Signed-off-by: wm4 <wm4@nowhere>
Diffstat (limited to 'DOCS/man/options.rst')
-rw-r--r-- | DOCS/man/options.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/DOCS/man/options.rst b/DOCS/man/options.rst index 86a72f1ce0..9335d69b63 100644 --- a/DOCS/man/options.rst +++ b/DOCS/man/options.rst @@ -847,6 +847,12 @@ Program Behavior binding (default: yes). By default, the ``i`` key is used (``I`` to make the overlay permanent). +``--load-osd-console=<yes|no>`` + Enable the builtin script that shows a console on a key binding and lets + you enter commands (default: yes). By default,. The ``ยด`` key is used to + show the console, and ``ESC`` to hide it again. (This is based on a user + script called ``repl.lua``.) + ``--player-operation-mode=<cplayer|pseudo-gui>`` For enabling "pseudo GUI mode", which means that the defaults for some options are changed. This option should not normally be used directly, but |