bar: add auto hide

2025-08-08 19:54:10 +07:00
parent 3d408b18f7
commit f806e2c22c
3 changed files with 113 additions and 77 deletions
@@ -124,6 +124,11 @@ Singleton {
            }

            property JsonObject bar: JsonObject {
+                property JsonObject autoHide: JsonObject {
+                    property bool enabled: false
+                    property bool pushWindows: false
+                    property bool showWhenPressingSuper: true
+                }
                property bool bottom: false // Instead of top
                property int cornerStyle: 0 // 0: Hug | 1: Float | 2: Plain rectangle
                property bool borderless: false // true for no grouping of items