From 176aaa4a97a6ba34fcea2a08373f461868e21e3b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= Date: Fri, 3 Aug 2018 16:19:14 +0000 Subject: [PATCH] extensionSystem: Unset stylesheet file reference when unloaded We must remove the GFile reference from the representing object when an extension has been unloaded as this won't be used anymore later (e.g. as cached ref). (cherry picked from commit 72f5802be93648429c6d9d586c427c8cfd9ccde2) --- js/ui/extensionSystem.js | 1 + 1 file changed, 1 insertion(+) 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 {