Re: [Gretl-devel] gtksourceview and gretl