[gnome-builder] libide/tweaks: tweak spacing on header with separator

[Christian Hergert <chergert src gnome org>]

commit 83c3f974f0d421c1c41a05ae40165a99c0d4d472
Author: Christian Hergert <chergert redhat com>
Date:   Sat Aug 27 16:12:12 2022 -0700

    libide/tweaks: tweak spacing on header with separator

 src/libide/tweaks/ide-tweaks-panel-list.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/libide/tweaks/ide-tweaks-panel-list.c b/src/libide/tweaks/ide-tweaks-panel-list.c
index 81026bc2c..a4fa318c7 100644
--- a/src/libide/tweaks/ide-tweaks-panel-list.c
+++ b/src/libide/tweaks/ide-tweaks-panel-list.c
@@ -234,6 +234,7 @@ ide_tweaks_panel_list_header_func (IdeTweaksPanelListRow *row,
   g_assert (label != NULL);
 
   box = g_object_new (GTK_TYPE_BOX,
+                      "margin-top", before_section ? 4 : 0,
                       "orientation", GTK_ORIENTATION_VERTICAL,
                       NULL);
   if (separator != NULL)