Re: [Gretl-devel] Wish/Suggestion: Dark Background for the script window