dock hide faster

2024-04-18 19:17:47 +07:00
parent 4c5ce76e47
commit 36fc620530
2 changed files with 2 additions and 3 deletions
@@ -46,7 +46,6 @@ applyStyle().catch(print);

 const Windows = () => [
    // forMonitors(DesktopBackground),
-    // Dock(),
    Overview(),
    forMonitors(Indicator),
    forMonitors(Cheatsheet),
@@ -88,11 +88,11 @@ let configOptions = {
        'autoHide': [
            {
                'trigger': 'client-added',
-                'interval': 1000,
+                'interval': 500,
            },
            {
                'trigger': 'client-removed',
-                'interval': 1000,
+                'interval': 500,
            },
        ],
    },