Compatibility with Fullscreen Avoider

tiling.js

@@ -182,6 +182,8 @@ export function enable(extension) {
             return false; // on return false destroys timeout
         });
     }
+
+    patchMonitorInFullscreen();
 }
 
 export function disable () {
@@ -205,6 +207,59 @@ export function disable () {
     backgroundSettings = null;
     interfaceSettings = null;
     workspaceSettings = null;
+
+    unpatchMonitorInFullscreen();
+}
+
+// Patch monitor objects prototype to check our space for the inFullscreen
+// property.
+function patchMonitorInFullscreen() {
+    const monitor1 = Main.layoutManager.monitors[0];
+    Object.defineProperties(
+        Object.getPrototypeOf(monitor1),
+        {
+            inFullscreen: {
+                // NOTE: Needs to be non-arrow function so `this` is bound
+                // correctly on call. This is necessary because we modify the
+                // prototype of multiple objects here.
+                get: function() {
+                    // NOTE: This is wrapped in try-catch because an error here
+                    // makes windows unclickable.
+                    try {
+                        // Find active space for monitor (this)
+                        // NOTE: Indexing spaces.monitors[this] does not work
+                        for (const [monitor, space] of spaces.monitors) {
+                            if (monitor.index == this.index) {
+                                return space.hasFullScreenWindow();
+                            }
+                        }
+                    } catch (e) {
+                        console.error(e);
+                    }
+                    // should not be reached, just here in case there is an
+                    // error above
+                    console.error(new Error(`Failed to find space for monitor`));
+                    return false;
+                },
+                enumerable: true,
+            }
+        })
+}
+
+function unpatchMonitorInFullscreen() {
+    const monitor1 = Main.layoutManager.monitors[0];
+    // Reset value to false. This might be incorrect, but will be updated by
+    // gnome again after some time.
+    Object.defineProperties(
+        Object.getPrototypeOf(monitor1),
+        {
+            inFullscreen: {
+                value: false,
+                writable: true,
+                enumerable: true,
+            }
+        }
+    );
 }
 
 /**

topbar.js

@@ -731,15 +731,13 @@ export function fixTopBar() {
     let fullscreen = focusIsFloatOrScratch ? focused.fullscreen : selected && selected.fullscreen;
 
     if (normal && !space.showTopBar) {
-        panelBox.scale_y = 0; // Update the workarea to support hide top bar
-        panelBox.hide();
-    }
-    else if (normal && fullscreen) {
-        panelBox.hide();
-    }
-    else {
-        panelBox.scale_y = 1;
-        panelBox.show();
+        // panelBox.scale_y = 0; // Update the workarea to support hide top bar
+        // panelBox.hide();
+    } else if (normal && fullscreen) {
+        // panelBox.hide();
+    } else {
+        // panelBox.scale_y = 1;
+        // panelBox.show();
     }
 }