mirror of
https://github.com/gryf/pentadactyl-pm.git
synced 2025-12-22 12:27:57 +01:00
Fix highlighting and reporting of unknown command.
This commit is contained in:
@@ -999,6 +999,7 @@ var Options = Module("options", {
|
||||
let opt = options.parseOpt(filter, modifiers);
|
||||
let prefix = opt.prefix;
|
||||
|
||||
context.highlight();
|
||||
if (context.filter.indexOf("=") == -1) {
|
||||
if (false && prefix)
|
||||
context.filters.push(function ({ item }) item.type == "boolean" || prefix == "inv" && isArray(item.values));
|
||||
|
||||
Reference in New Issue
Block a user