From 149f62458c16892a4346b7a97eddba696fbfce2b Mon Sep 17 00:00:00 2001 From: wmayer Date: Thu, 9 Jan 2020 09:51:04 +0100 Subject: [PATCH] Gui: [skip ci] restore bottom margin of group box in placement dialog --- src/Gui/Placement.ui | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Gui/Placement.ui b/src/Gui/Placement.ui index 161c9d6d7d..e99649c7e6 100644 --- a/src/Gui/Placement.ui +++ b/src/Gui/Placement.ui @@ -220,7 +220,7 @@ 9 - 0 + 9 6