"the simplest thing that could possibly work" always makes me cringe, since it implies a grasp of All Possibilities, I settle for a bit of complexity collapse. :-]
Considering a re-write of core code sounds exciting, in addition to desired improvements, opportunity to make core more accessible to hacking by non Edward/Terry folk. Write to 3.6? It seems we're at the point has been tipped towards it. On Tue, Jun 20, 2017 at 8:54 AM, Edward K. Ream <[email protected]> wrote: > On Tue, Jun 20, 2017 at 7:14 AM, Terry Brown <[email protected]> > wrote: > >> I'm not sure refresh - from - disk is immune to these problems. Nothing >> specific, sorry, but I feel like I've seen it so some of the headline / >> recovered node type stuff. Not sure though. Surely it uses a lot of the >> same read code? >> > > Yes. refresh-from-disk just deletes all the children of the root node > and then calls the appropriate atFile helper. > > > >> Perhaps assessing the differences between @<file> types is important? >> > > I tried to indicate my own uncertainties with parenthetical question. The > initial post, and the comments in #505, are merely starting points. > > Certainly the differences between @<file> types is important, but I > suspect that @file is the acid test. > > I have two new tools at my disposal since writing the code so long ago. > One is the principle of "the simplest thing that could possibly work". The > other is cff. I am confident that Leo's new read code will be much better > than the old. It's worth any amount of effort. > > 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. > -- 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.
