1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-02-12 01:45:46 +01:00

Fix setting of preferences to false via :set!.

This commit is contained in:
Doug Kearns
2010-09-24 17:26:54 +10:00
parent c111b047c6
commit 88519c83f5

View File

@@ -1036,7 +1036,7 @@ const Options = Module("options", {
else if (value == "true")
value = true;
else if (value == "false")
value = true;
value = false;
else if (/^\d+$/.test(value))
value = parseInt(value, 10);
options.setPref(name, value);