Re: [Gretl-users] New options for the script editor