[gnome-music/wip/mschraal/core] playlistsview: Add a margin to adapt to the new style

[Marinus Schraal <mschraal src gnome org>]

commit 30e0ab593dff4e6c40d632cb95cd9796d591ccf8
Author: Jean Felder <jfelder src gnome org>
Date:   Sat Jul 13 17:43:59 2019 +0200

    playlistsview: Add a margin to adapt to the new style

 gnomemusic/views/playlistsview.py | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/gnomemusic/views/playlistsview.py b/gnomemusic/views/playlistsview.py
index 5b7b80ce..bd2f598a 100644
--- a/gnomemusic/views/playlistsview.py
+++ b/gnomemusic/views/playlistsview.py
@@ -122,6 +122,9 @@ class PlaylistsView(BaseView):
 
         self._view = Gtk.ListBox()
         self._view.get_style_context().add_class("songs-list")
+        self._view.props.margin_top = 20
+        self._view.props.margin_left = 80
+        self._view.props.margin_right = 80
 
         self._controller = Gtk.GestureMultiPress().new(self._view)
         self._controller.props.propagation_phase = Gtk.PropagationPhase.CAPTURE