From b8c29417f2f0c27d5185700468dd70a35b52e23e Mon Sep 17 00:00:00 2001 From: Kris Maglione Date: Thu, 9 Oct 2008 19:17:41 +0000 Subject: [PATCH] Detect unknown options in :set --- content/options.js | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/content/options.js b/content/options.js index eb7d034f..69152a68 100644 --- a/content/options.js +++ b/content/options.js @@ -524,9 +524,17 @@ liberator.Options = function () //{{{ let opt = parseOpt(args, modifiers); if (!opt) + { + liberator.echoerr("Error parsing :set command: " + args); return; + } let option = opt.option; + if (option == null) + { + liberator.echoerr("No such option: " + opt.name); + return; + } // reset a variable to its default value if (opt.reset)