Re: [Gretl-devel] gtksourceview dev