[gnome-music/wip/jfelder/albumwidget-style-cleanups: 12/12] albumwidget: Reduce top and bottom margins
- From: Jean Felder <jfelder src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/jfelder/albumwidget-style-cleanups: 12/12] albumwidget: Reduce top and bottom margins
- Date: Sat, 28 Mar 2020 21:41:19 +0000 (UTC)
commit 1b65494c122d8abc704d2c07f298f416dd0549f0
Author: Jean Felder <jfelder src gnome org>
Date: Sun Mar 15 15:21:07 2020 +0100
albumwidget: Reduce top and bottom margins
It helps reduce the widget's minimum height.
data/ui/AlbumWidget.ui | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/data/ui/AlbumWidget.ui b/data/ui/AlbumWidget.ui
index d471dd12..a3673b65 100644
--- a/data/ui/AlbumWidget.ui
+++ b/data/ui/AlbumWidget.ui
@@ -19,7 +19,7 @@
<property name="halign">end</property>
<property name="margin_start">32</property>
<property name="margin_end">32</property>
- <property name="margin_top">64</property>
+ <property name="margin_top">48</property>
<property name="margin_bottom">32</property>
<property name="vexpand">True</property>
<property name="hexpand">True</property>
@@ -224,8 +224,8 @@
<child>
<object class="DiscListBox" id="_disc_list_box">
<property name="can_focus">False</property>
- <property name="margin_top">64</property>
- <property name="margin_bottom">64</property>
+ <property name="margin_top">48</property>
+ <property name="margin_bottom">48</property>
<property name="margin_end">32</property>
<property name="selection_mode">0</property>
<property name="selection_mode_allowed">True</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]