From 0bb6f46bea560648259822fcb6bd80db714907eb Mon Sep 17 00:00:00 2001 From: Martin Wagner Date: Tue, 25 Aug 2020 17:30:51 +0200 Subject: [PATCH] fixed cover spacing and default size --- bin/mpdevil.py | 2 +- data/org.mpdevil.gschema.xml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/mpdevil.py b/bin/mpdevil.py index bceb91b..01e2d28 100644 --- a/bin/mpdevil.py +++ b/bin/mpdevil.py @@ -2106,7 +2106,7 @@ class MainCover(Gtk.Frame): # event box event_box=Gtk.EventBox() - event_box.set_property("border-width", 4) + event_box.set_property("border-width", 5) # cover self._cover=Gtk.Image.new() diff --git a/data/org.mpdevil.gschema.xml b/data/org.mpdevil.gschema.xml index d1a8fd6..59188a7 100644 --- a/data/org.mpdevil.gschema.xml +++ b/data/org.mpdevil.gschema.xml @@ -37,7 +37,7 @@ - 350 + 360 Size of main cover