RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-27 22:47:44 +00:00
Code Issues Activity Actions

Applications: Remove border from GroupBox margins

Browse source
This commit is contained in:
FrHun 2021-09-15 17:56:01 +02:00 • committed by Andreas Kling
parent a21ea5f10f
commit 54605794f9
20 changed files with 33 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

9
Userland/Applications/Spreadsheet/csv_export.gml
View file

@ -18,8 +18,7 @@
title: "Delimiter"
layout: @GUI::VerticalBoxLayout {
// FIXME: This is working around the fact that group boxes don't allocate space for their title and border!
margins: [20, 10, 10]
margins: [10, 8, 8]
}
@GUI::RadioButton {
@ -69,8 +68,7 @@
title: "Quote"
layout: @GUI::VerticalBoxLayout {
// FIXME: This is working around the fact that group boxes don't allocate space for their title and border!
margins: [20, 10, 10]
margins: [10, 8, 8]
}
@GUI::RadioButton {
@ -151,8 +149,7 @@
fixed_width: 150
layout: @GUI::VerticalBoxLayout {
// FIXME: This is working around the fact that group boxes don't allocate space for their title and border!
margins: [20, 10, 10]
margins: [10, 8, 8]
}
@GUI::TextEditor {

11
Userland/Applications/Spreadsheet/csv_import.gml
View file

@ -18,8 +18,7 @@
title: "Delimiter"
layout: @GUI::VerticalBoxLayout {
// FIXME: This is working around the fact that group boxes don't allocate space for their title and border!
margins: [20, 10, 10]
margins: [10, 8, 8]
}
@GUI::RadioButton {
@ -69,8 +68,7 @@
title: "Quote"
layout: @GUI::VerticalBoxLayout {
// FIXME: This is working around the fact that group boxes don't allocate space for their title and border!
margins: [20, 10, 10]
margins: [10, 8, 8]
}
@GUI::RadioButton {
@ -133,7 +131,7 @@
fixed_height: 40
layout: @GUI::VerticalBoxLayout {
margins: [6, 6, 0]
margins: [4, 4, 0]
}
@GUI::Widget {
@ -164,8 +162,7 @@
fixed_width: 150
layout: @GUI::VerticalBoxLayout {
// FIXME: This is working around the fact that group boxes don't allocate space for their title and border!
margins: [20, 10, 10]
margins: [10, 8, 8]
}
@GUI::StackWidget {