Increase a bit the margin of the chooser widget text view
Increase a bit the margin of the chooser widget text view

This way it shows up a bit more the selected row

GNOME/gtksourceview,cburschka/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,cburschka/gtksourceview,cburschka/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,cburschka/gtksourceview,uajain/gtksourceview,uajain/gtksourceview,GNOME/gtksourceview,cburschka/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,uajain/gtksourceview,cburschka/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,cburschka/gtksourceview,GNOME/gtksourceview,cburschka/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,GNOME/gtksourceview,GNOME/gtksourceview,cburschka/gtksourceview,GNOME/gtksourceview,uajain/gtksourceview,uajain/gtksourceview,cburschka/gtksourceview,GNOME/gtksourceview