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

[Christian Hergert <chergert src gnome org>]

commit 4350b4eed51241a496f059290e8078f5b72fbc50
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>