Fixing GtkSourceView... again