From 72f5802be93648429c6d9d586c427c8cfd9ccde2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= <mail@3v1n0.net>
Date: Fri, 3 Aug 2018 18:19:14 +0200
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).
---
 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 {