Am 12.02.2017 um 22:51 schrieb Sven Schreiber:
actually, I get the crash also with a more general text selection...
(on
right-clicking)
OK, this is pretty bad, actually a mere right-click in the script editor
window is already sufficient.
I uninstalled gretl, downloaded the latest snapshot (which however seems
to be the same as before), reinstalled, and have the crashes as described.
thanks,
sven