[Gretl-devel] Re: problem with split-view of script editor