Re: [Gretl-devel] crash (GUI script editor)
On Sun, 12 Feb 2017, Sven Schreiber wrote:
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.
Thanks -- that's (partly) what snapshots are for!
A newly introduced bug, now fixed.
Allin