1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-20 09:17:59 +01:00

Allow :setcomm /dev/null <(js -Cv180 options.js |& grep .) all&

This commit is contained in:
Kris Maglione
2009-11-13 22:04:50 -05:00
parent a9e8d9d691
commit a8f8ebaeb5
2 changed files with 10 additions and 2 deletions

View File

@@ -937,8 +937,13 @@ const Options = Module("options", {
}
if (name == "all" && reset)
// TODO: Why? --djk
liberator.echoerr("You can't reset all options, it could make " + config.hostApplication + " unusable.");
commandline.input("Warning: Resetting all preferences may make " + config.hostApplication + " unusable. Continue (yes/[no]): ",
function (resp) {
if (resp == "yes")
for (let pref in values(options.allPrefs()))
options.resetPref(pref);
},
{ promptHighlight: "WarningMsg" });
else if (name == "all")
options.listPrefs(onlyNonDefault, "");
else if (reset)