On Fri, Feb 13, 2015 at 7:59 AM, Kent Tenney <kten...@gmail.com> wrote:
> >the question is what should happen if the user has *not* already > populated the @nosent tree >before exiting Leo. > > I'd expect things to be the same as when the user exited: > an unpopulated @nosent node, waiting to be populated. Or not. > Interesting. That's certainly possible. Any other ideas? 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.