sidebars: open by hovering (or clicking) corners

2026-06-13 12:29:58 -05:00 · 2025-08-26 10:51:40 +07:00
parent 63b7a3a36c
commit e7ffd2455a
4 changed files with 123 additions and 10 deletions
@@ -293,6 +293,13 @@ Singleton {
                        property string username: "[unset]"
                    }
                }
+                property JsonObject cornerOpen: JsonObject {
+                    property bool enable: true
+                    property bool clickless: true
+                    property real cornerRegionWidth: 30
+                    property real cornerRegionHeight: 2
+                    property bool visualize: false
+                }
            }

            property JsonObject time: JsonObject {