diff options
-rw-r--r-- | extensions/userscripts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extensions/userscripts b/extensions/userscripts index 2f18663a..70e811a1 100644 --- a/extensions/userscripts +++ b/extensions/userscripts @@ -500,6 +500,10 @@ function userscriptsStart() Signal.connect("documentLoaded", loadFinishedCallback); ret = true; } + if (ret == false) + { + extensions.error(me, "No scripts found, place scripts in $XDG_CONFIG_HOME/.config/dwb/greasemonkey"); + } //metaData = {}; //onStart.concat(onEnd).forEach(function (v, k, obj) { // var o = { |