gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-22 18:47:59 +01:00
Code Issues Projects Releases Wiki Activity

Fix ':set' to only show the nondefault entries

Browse Source
This commit is contained in:
Daniel Bainton
2008-12-05 09:26:20 +02:00
parent 4e621740af
commit 3bd42aafb5
1 changed files with 16 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
common/content/options.js
View File

@@ -563,18 +563,28 @@ function Options() //{{{
{ {
let bang = args.bang; let bang = args.bang;
if (!args.length) if (!args.length)
args[0] = "all"; args[0] = "";
for (let [,arg] in args) for (let [,arg] in args)
{ {
if (bang) if (bang)
{ {
var onlyNonDefault = false; var onlyNonDefault = false;
var reset = false;
var invertBoolean = false;
let [matches, name, postfix, valueGiven, operator, value] = if (args[0] == "")
arg.match(/^\s*?([a-zA-Z0-9\.\-_{}]+)([?&!])?\s*(([-+^]?)=(.*))?\s*$/); {
let reset = (postfix == "&"); var name = "all";
let invertBoolean = (postfix == "!"); onlyNonDefault = true;
}
else
{
var [matches, name, postfix, valueGiven, operator, value] =
arg.match(/^\s*?([a-zA-Z0-9\.\-_{}]+)([?&!])?\s*(([-+^]?)=(.*))?\s*$/);
reset = (postfix == "&");
invertBoolean = (postfix == "!");
}
if (name == "all" && reset) if (name == "all" && reset)
liberator.echoerr("You can't reset all options, it could make " + config.hostApplication + " unusable."); liberator.echoerr("You can't reset all options, it could make " + config.hostApplication + " unusable.");