[gnome-characters] menu: Remove redundant left/right margin settings



commit 28f5b0fe37bf45bb37222a06d124cf8ba5203b8a
Author: Daiki Ueno <dueno src gnome org>
Date:   Thu Mar 10 11:32:41 2016 +0900

    menu: Remove redundant left/right margin settings
    
    https://bugzilla.gnome.org/show_bug.cgi?id=763233

 data/menu.ui |    4 ----
 1 files changed, 0 insertions(+), 4 deletions(-)
---
diff --git a/data/menu.ui b/data/menu.ui
index 68c1384..34892e4 100644
--- a/data/menu.ui
+++ b/data/menu.ui
@@ -25,8 +25,6 @@
            <property name="can_focus">True</property>
            <property name="visible">True</property>
            <property name="halign">fill</property>
-           <property name="margin-start">12</property>
-           <property name="margin-end">12</property>
          </object>
        </child>
        <child>
@@ -35,8 +33,6 @@
            <property name="can_focus">False</property>
            <property name="shadow-type">in</property>
            <property name="hscrollbar_policy">never</property>
-           <property name="margin-start">12</property>
-           <property name="margin-end">12</property>
            <child>
              <object class="GtkListBox" id="font-listbox">
                <property name="can_focus">False</property>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]