From 79e3807364f043fa763659fc3ffe7f4ed5c0cd5c Mon Sep 17 00:00:00 2001 From: Jeremy Maitin-Shepard Date: Sat, 12 Apr 2008 01:35:15 -0400 Subject: [PATCH] utils.js: remove not-working clear_default_pref --- modules/utils.js | 5 ----- 1 file changed, 5 deletions(-) diff --git a/modules/utils.js b/modules/utils.js index a1b6dd3..580fe1a 100644 --- a/modules/utils.js +++ b/modules/utils.js @@ -566,11 +566,6 @@ function clear_pref(name) { return branch.clearUserPref(name); } -function clear_default_pref(name) { - var branch = preferences.getDefaultBranch(null); - return branch.clearUserPref(name); -} - function pref_has_user_value(name) { var branch = preferences.getBranch(null); return branch.prefHasUserValue(name); -- 2.11.4.GIT