gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-23 07:27:58 +01:00
Code Issues Projects Releases Wiki Activity

Also add completion.option, just for the hell of it.

Browse Source
This commit is contained in:
Kris Maglione
2008-11-28 08:26:45 +00:00
parent 9415926d75
commit 0cfa5857fc
2 changed files with 17 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
content/options.js
View File

@@ -685,30 +685,21 @@ function Options() //{{{
return;
}
let prefix = (filter.match(/^(no|inv)/) || [""])[0];
let opt = options.parseOpt(filter, modifiers);
let prefix = opt.prefix;
if (prefix)
context.filter = filter = filter.substr(prefix.length);
context.advance(prefix.length);
let scope = modifiers && modifiers.scope || options.OPTION_SCOPE_BOTH;
let opts = (opt for (opt in options)
if ((opt.scope & scope) &&
(!prefix || opt.type == "boolean" ||
prefix == "inv" && opt.value instanceof Array)));
if (filter.indexOf("=") == -1)
if (context.filter.indexOf("=") == -1)
{
context.title = ["Option"];
context.quote = [prefix, util.identity, ""];
context.keys = { text: "names", description: "description" };
context.completions = opts;
return;
if (prefix)
context.filters.push(function ({item: opt}) opt.type == "boolean" || prefix == "inv" && opt.values instanceof Array);
return completion.option(context, opt.scope);
}
else if (prefix == "no")
return;
let [name, value] = filter.split("=", 2);
let opt = options.parseOpt(filter, modifiers);
let [name, value] = context.filter.split("=", 2);
let option = opt.option;
context.advance(name.length + 1);
@@ -915,7 +906,7 @@ function Options() //{{{
let matches, prefix, postfix, valueGiven;
[matches, prefix, ret.name, postfix, valueGiven, ret.operator, ret.value] =
args.match(/^\s*(no|inv)?([a-z_]+)([?&!])?\s*(([-+^]?)=(.*))?\s*$/) || [];
args.match(/^\s*(no|inv)?([a-z_]*)([?&!])?\s*(([-+^]?)=(.*))?\s*$/) || [];
ret.args = args;
ret.onlyNonDefault = false; // used for :set to print non-default options