port to GtkSourceView 4
As requested by @jbicha, this is a port to GSV 4 like we just did for gedit. Light testing, seems to work as expected.
As requested by @jbicha, this is a port to GSV 4 like we just did for gedit. Light testing, seems to work as expected.