#1749 <https://github.com/leo-editor/leo-editor/issues/1749> can easily result in data loss. #1750 <https://github.com/leo-editor/leo-editor/pull/1750> is the corresponding PR.
As an emergency measure, I have merged the ekr_bug_1749 branch into devel. I can see no way that the new code could be as dangerous as the old. We may as well test the new code in devel. Please report any related problems immediately. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/d34f0223-c29e-48e0-bfb7-892855eaf6cfn%40googlegroups.com.
