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

[Jean Felder <jfelder src gnome org>]

commit cdc1c3a07929d551da1b7f99e6ac3d27dfd3cf2b
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