Fix gtksourceview3