diff options
| author | FrHun <28605587+frhun@users.noreply.github.com> | 2021-09-15 17:56:01 +0200 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-11-03 16:13:19 +0100 |
| commit | 54605794f97a905c40a56bd18f79abb7e8cdc7bc (patch) | |
| tree | 7833a26c4db950bf9a365bccce57baf73518d1ee /Userland/Applications/Spreadsheet | |
| parent | a21ea5f10f280433079208da4e953caf531e5def (diff) | |
| download | serenity-54605794f97a905c40a56bd18f79abb7e8cdc7bc.zip | |
Applications: Remove border from GroupBox margins
Diffstat (limited to 'Userland/Applications/Spreadsheet')
| -rw-r--r-- | Userland/Applications/Spreadsheet/csv_export.gml | 9 | ||||
| -rw-r--r-- | Userland/Applications/Spreadsheet/csv_import.gml | 11 |
2 files changed, 7 insertions, 13 deletions
diff --git a/Userland/Applications/Spreadsheet/csv_export.gml b/Userland/Applications/Spreadsheet/csv_export.gml index 4f0fa92ce0..a1dbd52eb1 100644 --- a/Userland/Applications/Spreadsheet/csv_export.gml +++ b/Userland/Applications/Spreadsheet/csv_export.gml @@ -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 { diff --git a/Userland/Applications/Spreadsheet/csv_import.gml b/Userland/Applications/Spreadsheet/csv_import.gml index 80e6a99e2d..d22893b723 100644 --- a/Userland/Applications/Spreadsheet/csv_import.gml +++ b/Userland/Applications/Spreadsheet/csv_import.gml @@ -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 { |