3.10: update branch for gtksourceview