From 86be4445a0be4ad7269d18a07a71c39c25376fa4 Mon Sep 17 00:00:00 2001
From: Rafal Luzynski <digitalfreak@lingonborough.com>
Date: Wed, 4 Nov 2015 00:18:11 +0100
Subject: [PATCH] trivial: set spacing=6 in box_header for non-GNOME desktops

This is the same spacing as in GtkHeaderBar in GNOME. Otherwise the
Report and Details buttons look bad in non-GNOME deskop environment.
---
 src/gnome_abrt/oops.glade | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/gnome_abrt/oops.glade b/src/gnome_abrt/oops.glade
index 5188db3..e443c8a 100644
--- a/src/gnome_abrt/oops.glade
+++ b/src/gnome_abrt/oops.glade
@@ -150,6 +150,7 @@
           <object class="GtkBox" id="box_header">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
+            <property name="spacing">6</property>
             <child>
               <object class="GtkStackSwitcher" id="box_sources_switcher">
                 <property name="visible">True</property>
-- 
2.4.3