[Gretl-devel] external editors (gtksourceview)