[gnome-software] shell-category: Move margins to another container
- From: Alessandro Bono <abono src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-software] shell-category: Move margins to another container
- Date: Mon, 30 Nov 2015 15:55:18 +0000 (UTC)
commit f22134f710ab839d58f2826faea2fad95bc3de7b
Author: Alessandro Bono <abono gnome org>
Date: Tue Nov 17 16:17:59 2015 +0100
shell-category: Move margins to another container
https://bugzilla.gnome.org/show_bug.cgi?id=758036
src/gs-shell-category.ui | 12 ++++--------
1 files changed, 4 insertions(+), 8 deletions(-)
---
diff --git a/src/gs-shell-category.ui b/src/gs-shell-category.ui
index 5712e74..9263601 100644
--- a/src/gs-shell-category.ui
+++ b/src/gs-shell-category.ui
@@ -38,10 +38,6 @@
<property name="can_focus">False</property>
<property name="hscrollbar_policy">never</property>
<property name="vscrollbar_policy">automatic</property>
- <property name="margin_start">12</property>
- <property name="margin_end">12</property>
- <property name="margin_top">12</property>
- <property name="margin_bottom">12</property>
<style>
<class name="main-scrolled-software"/>
</style>
@@ -51,10 +47,10 @@
<property name="can_focus">False</property>
<child>
<object class="GtkGrid" id="category_detail_grid">
- <property name="margin_start">15</property>
- <property name="margin_end">15</property>
- <property name="margin_top">12</property>
- <property name="margin_bottom">12</property>
+ <property name="margin_start">27</property>
+ <property name="margin_end">27</property>
+ <property name="margin_top">24</property>
+ <property name="margin_bottom">24</property>
<property name="halign">fill</property>
<property name="visible">True</property>
<property name="can_focus">False</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]