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
