From 9afcc4dfa5cf2a5d012e69f2e0b27ddd01e1513f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Erick=20P=C3=A9rez=20Castellanos?= <erick.red@gmail.com>
Date: Fri, 26 Sep 2014 13:03:38 -0400
Subject: [PATCH] nav_bar: remove deprecated margin definitions

---
 data/ui/nav_bar.ui | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/data/ui/nav_bar.ui b/data/ui/nav_bar.ui
index d6335f68..054830ca 100644
--- a/data/ui/nav_bar.ui
+++ b/data/ui/nav_bar.ui
@@ -6,10 +6,7 @@
     <property name="can_focus">False</property>
     <property name="hexpand">True</property>
     <property name="column_spacing">12</property>
-    <property name="margin_left">6</property>
-    <property name="margin_right">6</property>
-    <property name="margin_top">6</property>
-    <property name="margin_bottom">6</property>
+    <property name="margin">6</property>
     <child>
       <object class="GtkBox" id="nav_box">
         <property name="visible">True</property>