1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-23 16:12:26 +01:00

allow setting firefox prefs to IP addresses.

This commit is contained in:
Tim Hammerquist
2008-06-18 19:03:25 +00:00
parent e4680bfd2e
commit df7b8857a2

View File

@@ -360,9 +360,8 @@ liberator.Options = function () //{{{
value = false;
break;
default:
var valueInt = parseInt(value, 10);
if (!isNaN(valueInt))
value = valueInt;
if (/^(\d+)$/.test(value))
value = parseInt(value, 10);
}
liberator.options.setPref(name, value);
}