[gtksourceview] Increase a bit the margin of the chooser widget text view

[Ignacio Casal Quinteiro <icq src gnome org>]

commit fde6ba2a2199c71a301a38b545b16ded8c8e2a98
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Tue Dec 30 23:40:59 2014 +0100

    Increase a bit the margin of the chooser widget text view
    
    This way it shows up a bit more the selected row

 gtksourceview/gtksourcestyleschemechooserwidget.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/gtksourceview/gtksourcestyleschemechooserwidget.c 
b/gtksourceview/gtksourcestyleschemechooserwidget.c
index af35a5c..00c0338 100644
--- a/gtksourceview/gtksourcestyleschemechooserwidget.c
+++ b/gtksourceview/gtksourcestyleschemechooserwidget.c
@@ -161,6 +161,7 @@ make_row (GtkSourceStyleScheme *scheme,
                             "show-line-numbers", TRUE,
                             "right-margin-position", 30,
                             "show-right-margin", TRUE,
+                            "margin", 2,
                             NULL);
        gtk_container_add (GTK_CONTAINER (row), GTK_WIDGET (view));