[gnome-music/wip/jfelder/artists-playlists-marging-bottom: 12/12] playlistswidget: Add margin at the bottom of the list

[Jean Felder <jfelder src gnome org>]

commit b882625b6e4d9dc97d9723b14ba842dde4083ce2
Author: Jean Felder <jfelder src gnome org>
Date:   Mon Mar 23 23:41:39 2020 +0100

    playlistswidget: Add margin at the bottom of the list
    
    In the PlaylistsView, there is no vertical space between the bottom of
    the Playlist and the bottom of the view. This makes it
    harder to realize that the end of the list has been reached.
    
    Fix the issue by adding some margin at the bottom of PlaylistsWidget.

 data/ui/PlaylistsWidget.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/data/ui/PlaylistsWidget.ui b/data/ui/PlaylistsWidget.ui
index 02a0c801..fbc7882b 100644
--- a/data/ui/PlaylistsWidget.ui
+++ b/data/ui/PlaylistsWidget.ui
@@ -17,6 +17,7 @@
             <property name="margin-left">80</property>
             <property name="margin-right">80</property>
             <property name="margin-top">20</property>
+            <property name="margin-bottom">20</property>
             <property name="valign">start</property>
             <property name="visible">True</property>
             <style>