From 1a7cbddbd4e98e4641e690035013abbfaec130b0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timm=20B=C3=A4der?= <mail@baedert.org>
Date: Wed, 8 Feb 2017 18:31:12 +0100
Subject: [PATCH] statusbar: Remove margins in ui file

Widgets themselves shouldn't have margins assigned.
---
 gtk/ui/gtkstatusbar.ui | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/gtk/ui/gtkstatusbar.ui b/gtk/ui/gtkstatusbar.ui
index 3d56215cf6..025ebe3e24 100644
--- a/gtk/ui/gtkstatusbar.ui
+++ b/gtk/ui/gtkstatusbar.ui
@@ -3,10 +3,6 @@
   <!-- interface-requires gtk+ 3.10 -->
   <template class="GtkStatusbar" parent="GtkBox">
     <property name="spacing">2</property>
-    <property name="margin-start">10</property>
-    <property name="margin-end">10</property>
-    <property name="margin-top">6</property>
-    <property name="margin-bottom">6</property>
     <child>
       <object class="GtkFrame" id="frame">
         <property name="shadow-type">none</property>