dock: add margin option

fixes #658
2026-01-27 15:02:50 -05:00 · 2025-11-07 16:37:41 -05:00
parent 86caf92c90
commit 58b637bcca
14 changed files with 78 additions and 18 deletions
--- a/Common/SettingsData.qml
+++ b/Common/SettingsData.qml
@@ -240,6 +240,7 @@ Singleton {
    property int dockPosition: SettingsData.Position.Bottom
    property real dockSpacing: 4
    property real dockBottomGap: 0
+    property real dockMargin: 0
    property real dockIconSize: 40
    property string dockIndicatorStyle: "circle"

--- a/Common/settings/SettingsSpec.js
+++ b/Common/settings/SettingsSpec.js
@@ -157,6 +157,7 @@ var SPEC = {
    dockPosition: { def: 1 },
    dockSpacing: { def: 4 },
    dockBottomGap: { def: 0 },
+    dockMargin: { def: 0 },
    dockIconSize: { def: 40 },
    dockIndicatorStyle: { def: "circle" },