I reported that long time ago. Actually I do observe that marks disappear even w/o undo, sort of suddenly. Since I didnt use clones for my @auto code files - I used marks intensively to quickly switch btw various code-in-work nodes and was totally upset with how they do behave. Again, just switching to another node may trigger disappear of the mark. And something else (like editing another node) also may.
2020-10-04 6:56 GMT+03:00, Thomas Passin <[email protected]>: > I can confirm that a marked node gets unmarked by an undo operation for a > change later than the change that marked the node. I don't think that > should happen. I think that marking nodes should be undoable - if only > because the marks get saved when the outline is saved, so they are a real > change to the outline. But they should only be undone when the undo stack > reaches the operation that marked them. > > Alternatively, marks should just be left alone and not subject to undo. > But then there is the question of what a mark should mark if its original > target goes away by an undo operation. > > On a related topic, if you undo all changes to an outline, then the outline > > should no longer be flagged as dirty (no asterisk in the outlines tab, > etc), but that isn't happening. > > On Saturday, October 3, 2020 at 10:27:03 PM UTC-4, Félix wrote: >> >> using leo on latest devel branch: >> >> Marked nodes get unmarked when performing an undo operation in them... is >> >> this a real (known) bug someone else can reproduce, or i'm doing something >> >> silly that i'm not aware of? >> -- >> Félix >> > > -- > 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/c756e77b-7ed5-4bf2-aa65-8feed2a7f14fo%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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVyzsJ2R1XQftpA%3Df3LZ56hHzD0xA2y-VWvwfFjUaB8m_A%40mail.gmail.com.
