Do not show dock in overview if manually hidden

pop-os · Apr 14, 2021 · 23ac7a5 · 23ac7a5
1 parent e4a0980
commit 23ac7a5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docking.js b/docking.js
@@ -701,7 +701,9 @@ var DockedDash = GObject.registerClass({
         this._ignoreHover = true;
         this._intellihide.disable();
         this._removeAnimations();
-        this._animateIn(DockManager.settings.get_double('animation-time'), 0);
+        if (! this._manualhideIsEnabled) {
+            this._animateIn(DockManager.settings.get_double('animation-time'), 0);
+        }
     }
 
     _onOverviewHiding() {