Also discovered that when parent node is collapsed - mark _may_ dissappear (this happens not every time, and may happen never, actually). It may happend even if you start a search with F3 (which occasionally collapses the whole tree).
-- 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/d72c0700-0fda-4740-8d6f-2af6b755c4c5%40googlegroups.com.
