diff options
author | sin-ack <sin-ack@users.noreply.github.com> | 2021-08-17 00:11:38 +0000 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2021-08-18 10:30:50 +0200 |
commit | e11d17761846b04c8cd3d0fe1254f0a19bd3ae0e (patch) | |
tree | c3ca91cfec0f742ba96df36dde3daa32e28373fa /Userland/Applications/MouseSettings/MouseSettingsWindow.gml | |
parent | 9c9a5c55cb34c63f3b6d3bf36dcbc6c37a429677 (diff) | |
download | serenity-e11d17761846b04c8cd3d0fe1254f0a19bd3ae0e.zip |
Userland+LibGUI: Add shorthand versions of the Margins constructor
This allows for typing [8] instead of [8, 8, 8, 8] to specify the same
margin on all edges, for example. The constructors follow CSS' style of
specifying margins. The added constructors are:
- Margins(int all): Sets the same margin on all edges.
- Margins(int vertical, int horizontal): Sets the first argument to top
and bottom margins, and the second argument to left and right margins.
- Margins(int top, int vertical, int bottom): Sets the first argument to
the top margin, the second argument to the left and right margins,
and the third argument to the bottom margin.
Diffstat (limited to 'Userland/Applications/MouseSettings/MouseSettingsWindow.gml')
-rw-r--r-- | Userland/Applications/MouseSettings/MouseSettingsWindow.gml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Userland/Applications/MouseSettings/MouseSettingsWindow.gml b/Userland/Applications/MouseSettings/MouseSettingsWindow.gml index 3731fecceb..1ee8e37b93 100644 --- a/Userland/Applications/MouseSettings/MouseSettingsWindow.gml +++ b/Userland/Applications/MouseSettings/MouseSettingsWindow.gml @@ -2,7 +2,7 @@ fill_with_background_color: true layout: @GUI::VerticalBoxLayout { - margins: [10, 10, 10, 10] + margins: [10] spacing: 5 } @@ -11,7 +11,7 @@ fixed_height: 110 layout: @GUI::VerticalBoxLayout { - margins: [16, 8, 8, 8] + margins: [16, 8, 8] spacing: 2 } @@ -60,7 +60,7 @@ fixed_height: 110 layout: @GUI::VerticalBoxLayout { - margins: [16, 8, 8, 8] + margins: [16, 8, 8] spacing: 2 } @@ -83,7 +83,7 @@ @GUI::Widget { layout: @GUI::HorizontalBoxLayout { - margins: [8, 8, 8, 8] + margins: [8] spacing: 8 } @@ -114,7 +114,7 @@ fixed_height: 110 layout: @GUI::VerticalBoxLayout { - margins: [16, 8, 8, 8] + margins: [16, 8, 8] spacing: 2 } @@ -137,7 +137,7 @@ @GUI::Widget { layout: @GUI::HorizontalBoxLayout { - margins: [8, 8, 8, 8] + margins: [8] spacing: 8 } |