fix: hide border of unmanaged windows

forge-ext · Dec 17, 2024 · fa5e3d8 · fa5e3d8
1 parent 90f4b8a
commit fa5e3d8
Showing 1 changed file with 13 additions and 6 deletions.
diff --git a/lib/extension/window.js b/lib/extension/window.js
@@ -891,16 +891,20 @@ export class WindowManager extends GObject.Object {
     });
   }
 
+  hideActorBorder(actor) {
+    if (actor.border) {
+      actor.border.hide();
+    }
+    if (actor.splitBorder) {
+      actor.splitBorder.hide();
+    }
+  }
+
   hideWindowBorders() {
     this.tree.nodeWindows.forEach((nodeWindow) => {
       let actor = nodeWindow.windowActor;
       if (actor) {
-        if (actor.border) {
-          actor.border.hide();
-        }
-        if (actor.splitBorder) {
-          actor.splitBorder.hide();
-        }
+        this.hideActorBorder(actor);
       }
       if (nodeWindow.parentNode.isTabbed()) {
         if (nodeWindow.tab) {
@@ -1410,6 +1414,9 @@ export class WindowManager extends GObject.Object {
               let from = "size-changed";
               this.updateMetaPositionSize(_metaWindow, from);
             }),
+            metaWindow.connect("unmanaged", (_metaWindow) => {
+              this.hideActorBorder(windowActor);
+            }),
             metaWindow.connect("focus", (_metaWindowFocus) => {
               this.queueEvent({
                 name: "focus-update",