From b3b2cc44fa783c1575b3e229c79f2977f75a57c1 Mon Sep 17 00:00:00 2001 From: James Ross-Gowan Date: Sun, 8 Dec 2019 03:16:10 +1100 Subject: 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 --- etc/input.conf | 1 + 1 file changed, 1 insertion(+) (limited to 'etc') 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) -- cgit v1.2.3