mirror/mpdevil
1
0
Fork 0
mirror of https://github.com/SoongNoonien/mpdevil.git synced 2023-08-10 21:12:44 +03:00
Code Issues Projects Releases Wiki Activity

fixed menu margins

Browse Source
This commit is contained in:
Martin Wagner 2022-03-08 18:25:03 +01:00
parent 0971bb7500
commit 0eb92f4b67
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/mpdevil.py
View File

@ -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")