I doubt that it has anything to do with your typing. Most likely hoisted
position becomes invalid and Leo automatically de-hoist. As I see from your
keys the last thing you have done is Ctrl-s. Have you altered this shortcut
to execute some script or it is still attached to the Leo's save command?
Perhaps you have some plugin that has registered an event handler to
execute before or after the save. If any of these handlers change outline
or if they select positions out of the hoisted subtree then Leo will
automatically de-hoist.
Vitalije
On Tuesday, September 7, 2021 at 4:13:34 AM UTC+2 Phil wrote:
> Thanks for that Edward. I had a "random dehoist" again. Here's the
> sequence of events I captured. I don't see any obvious reason why the tree
> should dehoist. Hopefully this makes sense, and is helpful for you.
>
> ================
>
> This is the text I was editing, in one node, typing line N, then copying
> text from another node and pasting it as line N+1.
>
> line N: local level = t[2]
> line N+1: print(indent_text(tostring(s), 2*level))
>
>
> Here's the view-lossage output; I've added annotations to the right:
>
> l {start typing line N}
> o
> c
> a
> l
> Space
> l
> e
> v
> e
> l
> Space
> =
> Space
> [
> 2
> ]
> BackSpace {noticed the error, backspaced to correct it}
> BackSpace
> BackSpace
> t
> [
> 2
> ] {finished typing line N}
> Return {after the Return, I clicked on another node to copy and
> paste some code}
> Ctrl+c {selected text with the mouse, copied it, then clicked back
> to the target node}
> Ctrl+v {pasted the text}
> Ctrl+s {saved, as I do frequently - it is here that my hoisted
> subtree dehoisted}
> v
> i
> e
> w
> -
> l
> o
> s
> s
> a
> g
> e
> Return
>
>
> On Saturday, September 4, 2021 at 11:34:52 AM UTC-5 Edward K. Ream wrote:
>
>> On Sat, Sep 4, 2021 at 10:15 AM Phil <[email protected]> wrote:
>>
>>> When working in a hoisted tree, I occasionally experience "random"
>>> de-hoisting.
>>>
>> ...
>>
>>> Any ideas?
>>>
>>
>> The view-lossage command shows the last keystrokes you typed.
>>
>> 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/3cac79e4-9114-4906-a1f6-77440c17d560n%40googlegroups.com.
