From 0eb92f4b6719fd97838e47648f74ee04d6f0973a Mon Sep 17 00:00:00 2001 From: Martin Wagner Date: Tue, 8 Mar 2022 18:25:03 +0100 Subject: [PATCH] fixed menu margins --- src/mpdevil.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mpdevil.py b/src/mpdevil.py index 67d85f2..3009f63 100755 --- a/src/mpdevil.py +++ b/src/mpdevil.py @@ -1560,7 +1560,7 @@ class ArtistPopover(Gtk.Popover): self._genre=None # buttons - vbox=Gtk.ButtonBox(orientation=Gtk.Orientation.VERTICAL, border_width=9) + vbox=Gtk.ButtonBox(orientation=Gtk.Orientation.VERTICAL, margin=10) data=((_("Append"), "list-add-symbolic", "append"), (_("Play"), "media-playback-start-symbolic", "play"), (_("Enqueue"), "insert-object-symbolic", "enqueue") @@ -2280,7 +2280,7 @@ class PlaylistPopover(Gtk.Popover): self._rect=Gdk.Rectangle() # buttons - vbox=Gtk.Box(orientation=Gtk.Orientation.VERTICAL, border_width=9) + vbox=Gtk.Box(orientation=Gtk.Orientation.VERTICAL, margin=10) data=((_("Append"), "list-add-symbolic", "append"), (_("Play"), "media-playback-start-symbolic", "play"), (_("Enqueue"), "insert-object-symbolic", "enqueue")