[gnome-music/wip/jfelder/remove-margin-left-right: 1/11] playlistswidget: Remove margin-left and margin-right usage
- From: Jean Felder <jfelder src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/jfelder/remove-margin-left-right: 1/11] playlistswidget: Remove margin-left and margin-right usage
- Date: Mon, 15 Mar 2021 11:53:03 +0000 (UTC)
commit 28ff78eb306a1778d148c831187e3c64d303c475
Author: Jean Felder <jfelder src gnome org>
Date: Mon Mar 15 11:58:19 2021 +0100
playlistswidget: Remove margin-left and margin-right usage
They are now deprecated and have been removed in Gtk4. Use
margin-start and margin-end instead.
data/ui/PlaylistsWidget.ui | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/data/ui/PlaylistsWidget.ui b/data/ui/PlaylistsWidget.ui
index fbc7882b4..04015b52b 100644
--- a/data/ui/PlaylistsWidget.ui
+++ b/data/ui/PlaylistsWidget.ui
@@ -14,8 +14,8 @@
<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-start">80</property>
+ <property name="margin-end">80</property>
<property name="margin-top">20</property>
<property name="margin-bottom">20</property>
<property name="valign">start</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]