ThemeEditor: Correct GroupBox margins

Now that GroupBoxes have intrinsic margins, we don't need to provide
such large margin values in the GML.
This commit is contained in:
Sam Atkins 2021-11-13 13:54:30 +00:00 committed by Linus Groh
parent f11277b50d
commit 28a8e4a105

View file

@ -9,7 +9,7 @@
@GUI::GroupBox {
layout: @GUI::HorizontalBoxLayout {
margins: [16, 8, 8, 8]
margins: [4, 4, 4, 4]
}
shrink_to_fit: true
title: "Colors"
@ -27,7 +27,7 @@
@GUI::GroupBox {
layout: @GUI::HorizontalBoxLayout {
margins: [16, 8, 8, 8]
margins: [4, 4, 4, 4]
}
shrink_to_fit: true
title: "Flags"
@ -49,7 +49,7 @@
@GUI::GroupBox {
layout: @GUI::HorizontalBoxLayout {
margins: [16, 8, 8, 8]
margins: [4, 4, 4, 4]
}
shrink_to_fit: true
title: "Metrics"
@ -67,7 +67,7 @@
@GUI::GroupBox {
layout: @GUI::HorizontalBoxLayout {
margins: [16, 8, 8, 8]
margins: [4, 4, 4, 4]
}
shrink_to_fit: true
title: "Paths"