fix dock visibility on fullscreen

hardpixel · Jul 23, 2023 · a6bda0c · a6bda0c
1 parent 2c006d8
commit a6bda0c
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/src/dock.js b/src/dock.js
@@ -25,6 +25,10 @@ export class Dock extends St.Bin {
     this.signals = new Signals()
     this.setting = new Settings()
 
+    this.signals.connect(
+      global.display, 'in-fullscreen-changed', this._syncVisible.bind(this)
+    )
+
     this.signals.connect(
       Main.layoutManager, 'monitors-changed', this._updateGeometry.bind(this)
     )
@@ -61,6 +65,10 @@ export class Dock extends St.Bin {
     return Main.layoutManager.primaryMonitor
   }
 
+  get shouldHide() {
+    return Main.overview.visibleTarget || this.monitor.inFullscreen
+  }
+
   enable() {
     Main.layoutManager.addChrome(this, {
       affectsInputRegion:true,
@@ -116,7 +124,7 @@ export class Dock extends St.Bin {
   }
 
   _syncVisible() {
-    if (Main.overview.visibleTarget) {
+    if (this.shouldHide) {
       this.hide()
     } else {
       this.show()