On Tue, Jul 18, 2017 at 12:58 PM, vitalije <[email protected]> wrote:
> One more idea. Possible places of getting out of sync are when user uses > some code outside Leo. > I appreciate your thoroughness. Imo, this item simply isn't worth the risk, including the risk of of subtle code breakage and the risk of devs misunderstanding the code sometime in the distant future. Nor is it worth the extra code complexity. The convenience and performance gains, if any, are way too small. I suggest close #366 and mark it as "Won't Do". There are much more important projects we can work on. 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.
