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.

2 files changed, 7 insertions, 7 deletions

diff --git a/Userland/Applications/MouseSettings/MouseSettingsWindow.cpp b/Userland/Applications/MouseSettings/MouseSettingsWindow.cpp
index 85b26c05e2..bf170a46d7 100644
--- a/Userland/Applications/MouseSettings/MouseSettingsWindow.cpp
+++ b/Userland/Applications/MouseSettings/MouseSettingsWindow.cpp
@@ -44,7 +44,7 @@ MouseSettingsWindow::MouseSettingsWindow()
     auto& main_widget = set_main_widget<GUI::Widget>();
     main_widget.set_fill_with_background_color(true);
     main_widget.set_layout<GUI::VerticalBoxLayout>();
-    main_widget.layout()->set_margins({ 4, 4, 4, 4 });
+    main_widget.layout()->set_margins(4);
     main_widget.layout()->set_spacing(6);
 
     auto& tab_widget = main_widget.add<GUI::TabWidget>();
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
             }