feat: Intelligent Dock Auto-hide

2026-01-30 00:12:50 -05:00 · 2026-01-17 22:20:15 -05:00
parent 340d79000c
commit 7241877995
6 changed files with 188 additions and 3 deletions
--- a/quickshell/Common/settings/SettingsSpec.js
+++ b/quickshell/Common/settings/SettingsSpec.js
@@ -231,6 +231,7 @@ var SPEC = {

    showDock: { def: false },
    dockAutoHide: { def: false },
+    dockSmartAutoHide: { def: false },
    dockGroupByApp: { def: false },
    dockOpenOnOverview: { def: false },
    dockPosition: { def: 1 },