1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-20 13:37:58 +01:00

Fix :set completion for "number" options’ default and current values.

This commit is contained in:
Kris Maglione
2010-09-24 12:46:23 -04:00
parent 99c4c44426
commit e858568cd8

View File

@@ -1144,7 +1144,7 @@ const Options = Module("options", {
context.completions = [ context.completions = [
[option.value, "Current value"], [option.value, "Current value"],
[option.defaultValue, "Default value"] [option.defaultValue, "Default value"]
].filter(function (f) f[0] != "" && f[0].length < 200); ].filter(function (f) f[0] !== "" && String(f[0]).length < 200);
}); });
} }