dock: hover region adjustment

2025-06-08 11:29:33 +02:00
parent e8c294f434
commit 8dab758d78
1 changed files with 3 additions and 1 deletions
@@ -55,7 +55,9 @@ Scope { // Scope
                id: dockMouseArea
                anchors.top: parent.top
                height: parent.height
-                anchors.topMargin: dockRoot.reveal ? 0 : dockRoot.implicitHeight - ConfigOptions.dock.hoverRegionHeight
+                anchors.topMargin: dockRoot.reveal ? 0 : 
+                    ConfigOptions?.dock.hoverToReveal ? (dockRoot.implicitHeight + 1) :
+                    (dockRoot.implicitHeight - ConfigOptions.dock.hoverRegionHeight)
                anchors.left: parent.left
                anchors.right: parent.right
                hoverEnabled: true