[gnome-music/wip/mschraal/gtk4: 141/141] appmenu: Disable margins
- From: Marinus Schraal <mschraal src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/mschraal/gtk4: 141/141] appmenu: Disable margins
- Date: Mon, 17 Feb 2020 19:38:10 +0000 (UTC)
commit 68aefda7afd66df7cfdc95c7c1c3aff805cdfa12
Author: Marinus Schraal <mschraal gnome org>
Date: Sun Jan 19 11:44:16 2020 +0100
appmenu: Disable margins
data/ui/AppMenu.ui | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/data/ui/AppMenu.ui b/data/ui/AppMenu.ui
index 41549196..825810c8 100644
--- a/data/ui/AppMenu.ui
+++ b/data/ui/AppMenu.ui
@@ -20,13 +20,15 @@
</child>
<child>
<object class="GtkBox" id="_lastfm_box">
- <property name="margin-left">5</property>
- <property name="margin-right">5</property>
<property name="visible">False</property>
+ <property name="sensitive">False</property>
+ <property name="visible">True</property>
<child>
<object class="GtkLabel">
<property name="can_focus">False</property>
+<!--
<property name="margin-right">12</property>
+-->
<property name="halign">start</property>
<property name="hexpand">False</property>
<property name="visible">True</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]