fix: 🐛 better detection for auto hiding

Author: folke

src/app-window.ts

@@ -6,6 +6,7 @@ import Gtk from "./types/Gtk-3.0"
 export class AppWindow {
   window: Gtk.ApplicationWindow
   dock: Dock
+  hidden = true
 
   constructor(application: Gtk.Application) {
     const win = new Gtk.ApplicationWindow({
@@ -66,8 +67,10 @@ export class AppWindow {
   }
 
   updateSize() {
+    if (this.hidden) this.autoHide()
+
     // Hide window when dock is hidden
-    if (this.dock.toolbar.get_visible()) this.window.show()
+    if (!this.hidden && this.dock.show) this.window.show()
     else {
       this.window.hide()
       return
@@ -135,7 +138,7 @@ export class AppWindow {
   }
 
   autoHide() {
-    const active = this.window.get_screen().get_active_window()
+    const active = this.dock.screen.get_active_window()
     if (active && this.window) {
       const [ax1, ay1, aw, ah] = active.get_geometry()
       const [bx1, by1] = this.window.get_position()
@@ -152,14 +155,16 @@ export class AppWindow {
       // no vertical overlap
       else if (ay1 >= by1 + bh || by1 >= ay1 + ah) show = true
 
-      if (show && !this.window.is_visible()) {
+      if (show && this.hidden) {
         log("[no-overlap] showing dock")
         this.window.show()
+        this.hidden = false
       }
 
-      if (!show && this.window.is_visible()) {
-        log(`[overlap] overlapping. Hiding dock`)
+      if (!show && !this.hidden) {
+        log(`[overlap] overlapping with ${active.get_name()}. Hiding dock`)
         this.window.hide()
+        this.hidden = true
       }
     }
     return true

src/dock.ts

@@ -7,6 +7,7 @@ export class Dock {
   items = new Map<number, DockItem>()
   toolbar = new Gtk.Toolbar()
   screen: Wnck.Screen
+  show = false
 
   constructor(public horizontal = true) {
     const screen = Wnck.Screen.get_default()
@@ -105,10 +106,10 @@ export class Dock {
     log(`[update] - ${event} [${buttonCount}]`)
     if (buttonCount) {
       log("[toobar] show")
-      this.toolbar.show()
+      this.show = true
     } else {
       log("[toobar] hide")
-      this.toolbar.hide()
+      this.show = false
     }
     this.toolbar.check_resize()
   }