Re: [Gretl-users] OSX GUI problems