add gtksourceview