Re: [Gretl-devel] font size script editor and main window
On Thu, 23 Oct 2014, Artur T. wrote:
You are right, Jack. Thank you.
Nevertheless, what about a brief notification?
OK, in CVS/snapshots you'll now see "This change will apply to newly
opened windows" when you change the monospaced font.
Allin
2014-10-23 15:29 GMT+02:00 Riccardo (Jack) Lucchetti
<r.lucchetti(a)univpm.it>
:
> On Thu, 23 Oct 2014, Artur T. wrote:
>
> Ok, I just realized after re-opening gretl, that the font changes for the
>> script editor now, whereas for the command line this happens instantly
>> without need to re-open gretl. Maybe one could give a message that changes
>> apply after re-opening gretl.
>>
>
> Not even that. All you have to do is close the window and reopen it.