Re: [Gretl-devel] Wish/Suggestion: Dark Background for the script window
On Sat, 19 Dec 2015, Artur Tarassow wrote:
Personally, I like a dark background and bright letters very much as
it
nicely suits my eyes. Of course one could use any editor which supports
differently coloured backgrounds but then one has to abstain from some
other features the default GUI script window offers, as you know.
I've no idea how difficult it is to implement and if this would be
helpful for others as well.
Allin just committed a change to git to that effect. Open a script,
right-click and voilà.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------