Remove workaround for a fixed bug
Remove workaround for a fixed bug

The bug has been fixed in GTK+ this cycle:
https://bugzilla.gnome.org/show_bug.cgi?id=618852

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