diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js index 1a34f19e9..5a50b473a 100644 --- a/js/ui/extensionSystem.js +++ b/js/ui/extensionSystem.js @@ -102,18 +102,18 @@ var ExtensionManager = class { } } - if (extension.stylesheet) { - let theme = St.ThemeContext.get_for_stage(global.stage).get_theme(); - theme.unload_stylesheet(extension.stylesheet); - delete extension.stylesheet; - } - try { extension.stateObj.disable(); } catch (e) { this.logExtensionError(uuid, e); } + if (extension.stylesheet) { + let theme = St.ThemeContext.get_for_stage(global.stage).get_theme(); + theme.unload_stylesheet(extension.stylesheet); + delete extension.stylesheet; + } + for (let i = 0; i < order.length; i++) { let otherUuid = order[i]; try {