I have just rescheduled #2167 <https://github.com/leo-editor/leo-editor/issues/2167> (pseudo-random de-hoists) for Leo 6.5. No simple and safe fix seems likely.
The ekr-hoist-bug branch now contains an extensive trace in the one place where an unexpected (an automatic) de-hoist seems likely. I'll keep the branch up-to-date with devel, so you won't miss anything. If this issue affects you please run Leo from the ekr-hoist-bug branch. Traces go to the console, so be sure to run Leo from a console. If you do see the trace please report it here. And be sure to report if a de-hoist happens *without* a trace. Thanks. 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/e4d1f6b6-9fd0-4928-8ea3-a752e8cdbe1dn%40googlegroups.com.
