dock: show on empty workspace

2026-06-14 12:59:58 -05:00 · 2025-06-07 22:37:32 +02:00
parent a8474af78d
commit 1add44ba2f
4 changed files with 9 additions and 4 deletions
@@ -23,7 +23,10 @@ Scope { // Scope
            id: dockRoot
            screen: modelData
            
-            property bool reveal: root.pinned || dockMouseArea.containsMouse || dockApps.requestDockShow
+            property bool reveal: root.pinned 
+                || ((ConfigOptions?.dock.hoverToReveal ?? true) && dockMouseArea.containsMouse) 
+                || dockApps.requestDockShow 
+                || (!ToplevelManager.activeToplevel?.activated)

            anchors {
                bottom: true