fix gtksourceview