Rev 74bf72e <https://github.com/leo-editor/leo-editor/pull/3217/commits/74bf72eee1fde545aad1a4d87b033563d2904bf5> (PR #3217 <https://github.com/leo-editor/leo-editor/pull/3217>) in devel reverts PR #3214 <https://github.com/leo-editor/leo-editor/pull/3214>.
I don't know for sure what caused a recent hard crash, but PR #3214 is a likely culprit. Leo's tree code is notoriously fragile. Imo, I have no choice but to revert the recent code. 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/60fba2da-ae72-4e33-912d-0eebee808c11n%40googlegroups.com.
