mirror of
https://github.com/gryf/pentadactyl-pm.git
synced 2025-12-24 00:02:27 +01:00
Fix error not solved by last commit.
This commit is contained in:
@@ -1009,6 +1009,7 @@ var Options = Module("options", {
|
|||||||
if (!option) {
|
if (!option) {
|
||||||
context.message = "No such option: " + opt.name;
|
context.message = "No such option: " + opt.name;
|
||||||
context.highlight(0, opt.name.length, "SPELLCHECK");
|
context.highlight(0, opt.name.length, "SPELLCHECK");
|
||||||
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
context.advance(context.filter.indexOf("="));
|
context.advance(context.filter.indexOf("="));
|
||||||
|
|||||||
Reference in New Issue
Block a user