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@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.
_______________________________________________
Gretl-devel mailing list
Gretl-devel@lists.wfu.edu
http://lists.wfu.edu/mailman/listinfo/gretl-devel