[gtk/wip/exalm/polish: 8/8] widget-factory: Remove duplicate margin-start



commit efe21869fbe64a531a270f941701f97200510c25
Author: Alexander Mikhaylenko <alexm gnome org>
Date:   Thu May 7 01:29:33 2020 +0500

    widget-factory: Remove duplicate margin-start

 demos/widget-factory/widget-factory.ui | 1 -
 1 file changed, 1 deletion(-)
---
diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index b34274c884..f3321e1f6f 100644
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -1800,7 +1800,6 @@ microphone-sensitivity-medium-symbolic</property>
                                                 <property name="halign">start</property>
                                                 <property name="valign">center</property>
                                                 <property name="margin-start">6</property>
-                                                <property name="margin-start">6</property>
                                                 <property name="margin-end">6</property>
                                                 <property name="margin-top">6</property>
                                                 <property name="margin-bottom">6</property>


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