bug 457781 — Plugin disabling in Addons Manager does not stick: change the name of the (hopefully temporary) pref

This commit is contained in:
Daniel Brooks 2008-09-30 10:01:27 -05:00
Родитель 713c2a669e
Коммит 1a988aeacd
1 изменённых файлов: 4 добавлений и 4 удалений

Просмотреть файл

@ -161,14 +161,14 @@ var Browser = {
}
}
var firstRun = true;
try { firstRun = gPrefService.getBoolPref("startup.firstRun"); } catch (ex) { }
if (firstRun)
var disablePlugins = true;
try { disablePlugins = gPrefService.getBoolPref("temporary.disablePlugins"); } catch (ex) { }
if (disablePlugins)
{
document.getElementById("plugins.enabled").pref.value = false;
this.setPluginState(false);
}
gPrefService.setBoolPref("startup.firstRun", false);
gPrefService.setBoolPref("temporary.disablePlugins", false);
},
setPluginState: function(state)