[gnome-music/wip/mschraal/gtk4] playlistswidget: UI disable margins
- From: Marinus Schraal <mschraal src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/mschraal/gtk4] playlistswidget: UI disable margins
- Date: Wed, 29 Apr 2020 00:00:07 +0000 (UTC)
commit 2bfb517c809af4671159effa6b09b0f83ae9c70b
Author: Marinus Schraal <mschraal gnome org>
Date: Wed Apr 29 01:40:09 2020 +0200
playlistswidget: UI disable margins
data/ui/PlaylistsWidget.ui | 2 ++
1 file changed, 2 insertions(+)
---
diff --git a/data/ui/PlaylistsWidget.ui b/data/ui/PlaylistsWidget.ui
index fbc7882b..3d518291 100644
--- a/data/ui/PlaylistsWidget.ui
+++ b/data/ui/PlaylistsWidget.ui
@@ -14,10 +14,12 @@
<property name="visible">True</property>
<child>
<object class="GtkListBox" id="_songs_list">
+<!--
<property name="margin-left">80</property>
<property name="margin-right">80</property>
<property name="margin-top">20</property>
<property name="margin-bottom">20</property>
+-->
<property name="valign">start</property>
<property name="visible">True</property>
<style>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]