gtksourceview: small tweak.