Re: [Gretl-devel] GUI problem: Option to save modification in script tabs