Re: [Gretl-users] close button cosmetics