ws num peek: don't peek if user already does smth w/ super quickly

2025-05-08 17:56:15 +02:00
parent 8096e91e55
commit c94ec8e6b2
2 changed files with 11 additions and 6 deletions
@@ -12,6 +12,12 @@ Singleton {
    property int sidebarRightOpenCount: 0
    property bool overviewOpen: false
    property bool workspaceShowNumbers: false
+    property bool superReleaseMightTrigger: true
+
+    // When user is not reluctant while pressing super, they probably don't need to see workspace numbers
+    onSuperReleaseMightTriggerChanged: { 
+        workspaceShowNumbersTimer.stop()
+    }

    Timer {
        id: workspaceShowNumbersTimer