From ae7e7d07b8a0914b8f06e87877785a60be0556a4 Mon Sep 17 00:00:00 2001 From: Guido Cella Date: Tue, 7 May 2024 22:55:54 +0200 Subject: [PATCH] js: fix defaults.js Fixes 2354d876da. --- player/javascript/defaults.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/player/javascript/defaults.js b/player/javascript/defaults.js index 38f16c7138..9150cc8fa3 100644 --- a/player/javascript/defaults.js +++ b/player/javascript/defaults.js @@ -674,7 +674,7 @@ mp.input = { register_event_handler(t) }, - select: function () { + select: function (t) { mp.commandv("script-message-to", "console", "get-input", mp.script_name, JSON.stringify({ prompt: t.prompt, @@ -682,8 +682,8 @@ mp.input = { default_item: t.default_item, })); - register_event_handler(t) - } + register_event_handler(t); + }, terminate: function () { mp.commandv("script-message-to", "console", "disable"); },