Re: [Gretl-devel] script editor: name of gretl instance & external change detection
On Wed, 10 Jan 2018, Schaff, Frederik wrote:
it would be nice if the script editor would provide in its header
the name of the gretl instance it belongs to. I sometimes have
multiple instances open... The same accounts for other gretl
windows, I guess.
Feasible, I guess, but it would involve changing hundreds of
translatable strings -- probably not very popular with the
translators of gretl. I tend to think of running multiple gretl
instances as a rather rare activity, with at most two instances
active and one of them probably just displaying a dataset. Running
multiple instances each with multiple windows open is not
recommended procedure.
Also, because I often work on scripts within gretls editor (auto
completion, highlighting, help, etc.) but also and at the same
time with another editor (PSPad) in order to use macros and better
search&exchange abilities, it would be nice if the script editor
would check for external changes and report this (something like
"external change detected, do you want to update the script to the
external version?"). An optional "auto update" option would also
be nice to have.
Hmm, I think it's best to make a choice of script editor and stick
with it. A high-functioning "third party" editor of choice shouldn't
have a problem with running a gretl script (e.g. via gretlcli) and
displaying the output. IMO editing a given text in two editors
simultaneously is asking for trouble!
But if you can tell us what in particular you reckon is missing from
gretl's built-in script editor we could consider enhancing it.
Allin