Clear all signal handlers when gnome-shell is shutdown

Fix #26
yilozt · Aug 7, 2022 · bb465e8 · bb465e8
1 parent 838ffeb
commit bb465e8
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/src/app.ts b/src/app.ts
@@ -238,6 +238,16 @@ export class Extension {
             AddBackgroundMenuItem (actor._backgroundMenu)
         }
 
+        // Gnome-shell will not disable extensions when logout/shutdown/restart
+        // system, it means that the signal handlers will not be cleaned when
+        // gnome-shell is closing.
+        //
+        // Now clear all resources manually before gnome-shell closes
+        Connections.get ().connect (global.display, 'closing', () => {
+            log ('Clear all resources because gnome-shell is shutdown')
+            this.disable ()
+        })
+
         log ('Enabled')
     }
 

diff --git a/src/manager/rounded-corners-manager.ts b/src/manager/rounded-corners-manager.ts
@@ -74,7 +74,9 @@ export class RoundedCornersManager {
         const wm = global.window_manager
 
         // Try to add rounded corners effect to all windows
-        for (const actor of global.get_window_actors ()) {
+        const window_actors = global.get_window_actors ()
+        _log (`Windows count when enable: ${window_actors.length}`)
+        for (const actor of window_actors) {
             this._add_effect (actor)
         }