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.

Reply via email to