[gnome-characters] menu: Remove redundant left/right margin settings
- From: Daiki Ueno <dueno src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-characters] menu: Remove redundant left/right margin settings
- Date: Sun, 13 Mar 2016 11:39:06 +0000 (UTC)
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]