On Sat, Mar 11, 2017 at 12:48 PM, Viktor Ransmayr <[email protected] > wrote:
> Hello Edward, > > Yes, exactly - AND - ... > > It magically 'came back' after I restarted Leo ??? > I have no idea what happened, and I don't have nearly enough information to know. Perhaps you didn't do what you thought you did? Let's chalk it up to "one of life's mysteries" unless you can reproduce the problem. 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
