diff --git a/.config/ags/config.js b/.config/ags/config.js index b4523f91..9050a48c 100644 --- a/.config/ags/config.js +++ b/.config/ags/config.js @@ -46,7 +46,6 @@ applyStyle().catch(print); const Windows = () => [ // forMonitors(DesktopBackground), - // Dock(), Overview(), forMonitors(Indicator), forMonitors(Cheatsheet), diff --git a/.config/ags/modules/.configuration/user_options.js b/.config/ags/modules/.configuration/user_options.js index 0aec54ec..6ade5e1b 100644 --- a/.config/ags/modules/.configuration/user_options.js +++ b/.config/ags/modules/.configuration/user_options.js @@ -88,11 +88,11 @@ let configOptions = { 'autoHide': [ { 'trigger': 'client-added', - 'interval': 1000, + 'interval': 500, }, { 'trigger': 'client-removed', - 'interval': 1000, + 'interval': 500, }, ], },