[Gretl-users] Re: Some minor bugs, perhaps.
On Wed, 1 May 2019, Fred Engst wrote:
After a script is opened, or a new one is created, if I save it with
a new name, the list of windows that are open when I click on the
top right corner of gretl still shows the old name, which can cause
confusion.
I see what you mean, and that's now fixed in git and snapshots.
(The problem was specific to the single-script editor window. If you
choose to use a tabbed script editor window, the window-list entry
just says "Script editor". But with the single window the name of the
script being edited is displayed in the window list, and this was not
updating in response to "Save as...".)
Allin