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