diff --git a/common/content/options.js b/common/content/options.js index a8cda0a1..7c9b0856 100644 --- a/common/content/options.js +++ b/common/content/options.js @@ -1009,6 +1009,7 @@ var Options = Module("options", { if (!option) { context.message = "No such option: " + opt.name; context.highlight(0, opt.name.length, "SPELLCHECK"); + return; } context.advance(context.filter.indexOf("="));