In case that's of any importance: I'm on Leo 6.1-final, master branch, build cfca6f348c
On Wednesday, April 29, 2020 at 6:39:53 AM UTC-4, Edward K. Ream wrote: > > > > On Tue, Apr 28, 2020 at 10:12 PM Félix <[email protected] <javascript:>> > wrote: > > When using ctrl+m to mark or unmark, this dirties the node, while doing so >> via the (right-click) context menu it does not make the node dirty. >> > > Good catch. Rev 521d2ad in devel brings the context_menu plugin into > alignment with the rest of Leo's core. > > The node *should* be marked dirty. Otherwise Leo might not save the > marked "bit" when quitting. Indeed, c.setMarked calls p.setDirty. Within > Leo's core, all calls to p.setMarked/clearMarked are followed by a call to > p.setDirty. > > *Note*: having v.set/clearDirty set both the marked *and* dirty bits > might seem to be a better solution, but that would likely be dead wrong, > because v.set/clearDirty might be called on startup. > > 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/16045676-e56a-4da8-a55a-1c342cdc32ee%40googlegroups.com.
