[gnome-music/wip/jfelder/remove-margin-left-right: 16/19] appmenu: Remove margin property usage
- From: Jean Felder <jfelder src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/jfelder/remove-margin-left-right: 16/19] appmenu: Remove margin property usage
- Date: Mon, 22 Mar 2021 21:11:12 +0000 (UTC)
commit 635b6633df69a90edacb39430cfd9e11f85ba701
Author: Jean Felder <jfelder src gnome org>
Date: Mon Mar 15 12:32:01 2021 +0100
appmenu: Remove margin property usage
This property does not exist in Gtk4.
Use margin-bottom, margin-end, margin-start and margin-top
properties.
data/ui/AppMenu.ui | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/data/ui/AppMenu.ui b/data/ui/AppMenu.ui
index bbf2f675e..127544592 100644
--- a/data/ui/AppMenu.ui
+++ b/data/ui/AppMenu.ui
@@ -8,7 +8,10 @@
<object class="GtkBox">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="margin">6</property>
+ <property name="margin-bottom">6</property>
+ <property name="margin-end">6</property>
+ <property name="margin-start">6</property>
+ <property name="margin-top">6</property>
<property name="orientation">vertical</property>
<child>
<object class="GtkModelButton" id="lastfm_account_button">
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]