mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-16 06:54:00 +00:00
Bug 324314 - 'Use this theme' for the default theme is dimmed when non-default theme selected. r=bsmedberg
This commit is contained in:
parent
e660296f0c
commit
2486a19953
@ -3238,9 +3238,7 @@ ExtensionManager.prototype = {
|
||||
// Version mismatch, we have to load the extensions datasource and do
|
||||
// version checking. Time hit here doesn't matter since this doesn't happen
|
||||
// all that often.
|
||||
var extensionsDS = getFile(KEY_PROFILEDIR, [FILE_EXTENSIONS]);
|
||||
if (!extensionsDS.exists())
|
||||
this._upgradeFromV10();
|
||||
this._upgradeFromV10();
|
||||
|
||||
// Make the extensions datasource consistent if it isn't already.
|
||||
var isDirty = false;
|
||||
@ -3340,6 +3338,10 @@ ExtensionManager.prototype = {
|
||||
if (profileDOMi && profileDOMi.exists())
|
||||
removeDirRecursive(profileDOMi);
|
||||
|
||||
var extensionsDS = getFile(KEY_PROFILEDIR, [FILE_EXTENSIONS]);
|
||||
if (!extensionsDS.exists())
|
||||
return;
|
||||
|
||||
// Prepare themes for installation
|
||||
// Only enumerate directories in the app-profile and app-global locations.
|
||||
var locations = [KEY_APP_PROFILE, KEY_APP_GLOBAL];
|
||||
|
Loading…
x
Reference in New Issue
Block a user