From a4c567a95482c7042542808ecd7f07a54b6b943b Mon Sep 17 00:00:00 2001 From: Ashley Wulber Date: Tue, 5 Sep 2023 18:40:03 -0400 Subject: [PATCH] fix: set the margin of the panel when setting anchor gap --- app/src/pages/desktop/panel/mod.rs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/app/src/pages/desktop/panel/mod.rs b/app/src/pages/desktop/panel/mod.rs index a3453c1..be5dcea 100644 --- a/app/src/pages/desktop/panel/mod.rs +++ b/app/src/pages/desktop/panel/mod.rs @@ -426,6 +426,12 @@ impl Page { panel_config.anchor_gap = enabled; + if enabled { + panel_config.margin = 4; + } else { + panel_config.margin = 0; + } + _ = panel_config.write_entry(helper); } Message::PanelSize(size) => {