mpv/options
James Ross-Gowan b3b2cc44fa 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>
2019-12-08 02:46:44 +01:00
..
m_config.c m_config: remove change callback before unintialization 2019-11-30 17:33:29 +01:00
m_config.h player: change m_config to use new option handling mechanisms 2019-11-29 12:49:15 +01:00
m_option.c m_option: add option comparison 2019-11-29 12:14:43 +01:00
m_option.h m_option: remove an outdated ancient comment 2019-11-29 12:14:43 +01:00
m_property.c
m_property.h
options.c console.lua: add this script 2019-12-08 02:46:44 +01:00
options.h console.lua: add this script 2019-12-08 02:46:44 +01:00
parse_commandline.c
parse_commandline.h
parse_configfile.c
parse_configfile.h
path.c
path.h