summaryrefslogtreecommitdiffstats
path: root/etc
diff options
context:
space:
mode:
authorJames Ross-Gowan <rossy@jrg.systems>2019-12-08 03:16:10 +1100
committerwm4 <wm4@nowhere>2019-12-08 02:46:44 +0100
commitb3b2cc44fa783c1575b3e229c79f2977f75a57c1 (patch)
tree75bf9dff47ace47d426c986439a926ae1484182f /etc
parentb2b15d4e6e1d92290d0d7e772b9a5468ddea8a81 (diff)
downloadmpv-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 'etc')
-rw-r--r--etc/input.conf1
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/input.conf b/etc/input.conf
index 01db678fb0..f60ed51bd4 100644
--- a/etc/input.conf
+++ b/etc/input.conf
@@ -97,6 +97,7 @@
#P show-progress
#i script-binding stats/display-stats
#I script-binding stats/display-stats-toggle
+#` script-binding console/enable
#z add sub-delay -0.1 # subtract 100 ms delay from subs
#Z add sub-delay +0.1 # add
#x add sub-delay +0.1 # same as previous binding (discouraged)