Re: [Gretl-devel] script editor: name of gretl instance & external change detection
Am 10.01.2018 um 23:26 schrieb Allin Cottrell:
On Wed, 10 Jan 2018, Schaff, Frederik wrote:
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!
Well, the nice thing about gretl is that you can run a script and then
work with the results (series etc.) in the GUI. If you use a 3rd-party
editor + gretlcli, that's not possible. So if something serious is
missing from the built-in editor, there is no easy substitute.
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.
See the other branch of this thread...
thanks,
sven