[gtk/wip/exalm/polish: 8/8] widget-factory: Remove duplicate margin-start
- From: Alexander Mikhaylenko <alexm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk/wip/exalm/polish: 8/8] widget-factory: Remove duplicate margin-start
- Date: Wed, 6 May 2020 20:38:04 +0000 (UTC)
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]