diff options
Diffstat (limited to 'player/javascript/defaults.js')
| -rw-r--r-- | player/javascript/defaults.js | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/player/javascript/defaults.js b/player/javascript/defaults.js index 0a1c99bcef..588e8d6891 100644 --- a/player/javascript/defaults.js +++ b/player/javascript/defaults.js @@ -462,7 +462,7 @@ function process_timers() { - Module id supports mpv path enhancements, e.g. ~/foo, ~~/bar, ~~desktop/baz *********************************************************************/ -mp.module_paths = ["~~/scripts/modules.js"]; // global modules search paths +mp.module_paths = []; // global modules search paths // Internal meta top-dirs. Users should not rely on these names. var MODULES_META = "~~modules", @@ -740,3 +740,8 @@ g.mp_event_loop = function mp_event_loop() { }; })(this) + +try { + // let the user extend us, e.g. for updating mp.module_paths + require("~~/.init"); +} catch(e) {} |