Re: Fix for #1749 has been merged into devel

[Edward K. Ream]

On Monday, November 23, 2020 at 10:23:37 AM UTC-6 Edward K. Ream wrote:

I have reopened #1749. The problems persist.
>

Good news. I was using a branch that did not have the fix for #1749. So 
there likely no further problem.

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/09e2e39c-5a44-4679-bc88-5c19057fe4e2n%40googlegroups.com.

Re: Fix for #1749 has been merged into devel

[Edward K. Ream]

On Sunday, November 22, 2020 at 5:23:49 PM UTC-6 Edward K. Ream wrote:

> #1749  can easily 
> result in data loss. #1750 
>  is the corresponding 
> PR.
>

I have reopened #1749. The problems persist.

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/6702eb43-c564-400e-8a00-f5cfd583b95dn%40googlegroups.com.

Re: Fix for #1749 has been merged into devel

[Edward K. Ream]

On Sun, Nov 22, 2020 at 5:41 PM Jacob Peck  wrote:

> Thanks for the quick fix!
>

You're welcome. This was one of the most serious bugs in quite awhile.
Thanks for uncovering it.

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/CAMF8tS2gLNNhuWddup_augdOSOxTzJeU%3DT0AbixsmD5oX7o-JQ%40mail.gmail.com.

Re: Fix for #1749 has been merged into devel

[Jacob Peck]

Thanks for the quick fix!

The test case I reported appears to be fixed.  I will report back if I find
it in any other situations.

Thanks,
-->Jake

On Sun, Nov 22, 2020 at 6:23 PM Edward K. Ream  wrote:

> #1749  can easily
> result in data loss. #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
> 
> .
>

-- 
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/CAJ1i%2BSb5%2BKmrX%2BryojUvEQ%3DGX3%3DF_qNXBMCGtX_dyp%3DzyQTEmw%40mail.gmail.com.

Fix for #1749 has been merged into devel

[Edward K. Ream]

#1749  can easily 
result in data loss. #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.