diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js index 6611b5a63..a7a3d2014 100644 --- a/js/ui/extensionSystem.js +++ b/js/ui/extensionSystem.js @@ -76,6 +76,7 @@ function disableExtension(uuid) { if (extension.stylesheet) { let theme = St.ThemeContext.get_for_stage(global.stage).get_theme(); theme.unload_stylesheet(extension.stylesheet); + delete extension.stylesheet; } try {