gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-28 15:05:46 +01:00
Code Issues Projects Releases Wiki Activity

Better option list filtering.

Browse Source
This commit is contained in:
Kris Maglione
2013-04-04 23:53:00 -07:00
parent e973f91e3d
commit 0a31fa5cab
3 changed files with 50 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
common/modules/options.jsm
View File

@@ -854,6 +854,11 @@ var Options = Module("options", {
function opts(opt) {
for (let opt in Iterator(this)) {
if (filter && !filter(opt))
continue;
if (!(opt.scope & scope))
continue;
let option = {
__proto__: opt,
isDefault: opt.isDefault,
@@ -862,11 +867,6 @@ var Options = Module("options", {
value: []
};
if (filter && !filter(opt))
continue;
if (!(opt.scope & scope))
continue;
if (opt.type == "boolean") {
if (!opt.value)
option.pre = "no";