Re: [Gretl-devel] Small GUI related problems