[Gretl-devel] Re: ui-maker and missing warning messages