[gnome-builder/wip/gtk4-port: 178/1774] libide/gui: remove extra spacing for now

[Christian Hergert <chergert src gnome org>]

commit ad686281851db66f9528e40fc0100203c092634f
Author: Christian Hergert <chergert redhat com>
Date:   Tue Mar 29 17:41:23 2022 -0700

    libide/gui: remove extra spacing for now

 src/libide/gui/ide-header-bar.ui | 1 -
 1 file changed, 1 deletion(-)
---
diff --git a/src/libide/gui/ide-header-bar.ui b/src/libide/gui/ide-header-bar.ui
index 977455b53..4ee1de14e 100644
--- a/src/libide/gui/ide-header-bar.ui
+++ b/src/libide/gui/ide-header-bar.ui
@@ -36,7 +36,6 @@
         <child type="end">
           <object class="GtkBox" id="right">
             <property name="hexpand">true</property>
-            <property name="spacing">6</property>
           </object>
         </child>
       </object>