dock hide faster

This commit is contained in:
end-4
2024-04-18 19:17:47 +07:00
parent 21bc7c7a61
commit 75e73896ad
2 changed files with 2 additions and 3 deletions
-1
View File
@@ -46,7 +46,6 @@ applyStyle().catch(print);
const Windows = () => [ const Windows = () => [
// forMonitors(DesktopBackground), // forMonitors(DesktopBackground),
// Dock(),
Overview(), Overview(),
forMonitors(Indicator), forMonitors(Indicator),
forMonitors(Cheatsheet), forMonitors(Cheatsheet),
@@ -88,11 +88,11 @@ let configOptions = {
'autoHide': [ 'autoHide': [
{ {
'trigger': 'client-added', 'trigger': 'client-added',
'interval': 1000, 'interval': 500,
}, },
{ {
'trigger': 'client-removed', 'trigger': 'client-removed',
'interval': 1000, 'interval': 500,
}, },
], ],
}, },