1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-21 06:57:59 +01:00

Handle the silly exception thrown from options.resetPref.

This commit is contained in:
Doug Kearns
2008-12-23 00:16:34 +11:00
parent db0fa4bc5b
commit f96b522ec1

View File

@@ -985,8 +985,15 @@ function Options() //{{{
},
resetPref: function (name)
{
try
{
return service["pref"].clearUserPref(name);
}
catch (e)
{
// ignore - thrown if not a user set value
}
},
// this works only for booleans