Use an event box to avoid the source view from getting mouse events
Use an event box to avoid the source view from getting mouse events

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