[gnome-builder/wip/gtk4-port: 226/343] libide/greeter: tweak margins of action bar

[Christian Hergert <chergert src gnome org>]

commit 3d598d61221ac245b15359ec9cb97620c42d92f3
Author: Christian Hergert <chergert redhat com>
Date:   Wed Mar 30 23:56:12 2022 -0700

    libide/greeter: tweak margins of action bar
    
    These need less with libadwaita.

 src/libide/greeter/ide-greeter-buttons-section.c | 4 ++--
 src/libide/greeter/ide-greeter-workspace.ui      | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/src/libide/greeter/ide-greeter-buttons-section.c 
b/src/libide/greeter/ide-greeter-buttons-section.c
index db4b0da6c..8581abb14 100644
--- a/src/libide/greeter/ide-greeter-buttons-section.c
+++ b/src/libide/greeter/ide-greeter-buttons-section.c
@@ -60,8 +60,8 @@ static void
 ide_greeter_buttons_section_init (IdeGreeterButtonsSection *self)
 {
   self->box = g_object_new (GTK_TYPE_BOX,
-                            "margin-bottom", 6,
-                            "margin-top", 6,
+                            "margin-bottom", 3,
+                            "margin-top", 3,
                             "orientation", GTK_ORIENTATION_HORIZONTAL,
                             "homogeneous", TRUE,
                             "halign", GTK_ALIGN_CENTER,
diff --git a/src/libide/greeter/ide-greeter-workspace.ui b/src/libide/greeter/ide-greeter-workspace.ui
index d1329d7ef..93ea74ab6 100644
--- a/src/libide/greeter/ide-greeter-workspace.ui
+++ b/src/libide/greeter/ide-greeter-workspace.ui
@@ -124,8 +124,8 @@
                         <property name="width-request">600</property>
                         <property name="orientation">horizontal</property>
                         <property name="homogeneous">true</property>
-                        <property name="margin-bottom">6</property>
-                        <property name="margin-top">6</property>
+                        <property name="margin-bottom">3</property>
+                        <property name="margin-top">3</property>
                         <property name="spacing">10</property>
                         <child>
                           <object class="GtkButton" id="remove_button">