One of the reasons (and may be the only one) why it behaves in that manner: undo. When user undoes something - it also can be applied to marks too. This seems not intuitive to me... I would like to have an option turn it off.
-- 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/57563788-ad88-44c9-9591-5c7bebdccda0%40googlegroups.com.
