On 2022-09-13 16:17, Edward K. Ream wrote: > On Tuesday, September 13, 2022 at 4:36:05 PM UTC-5 spike wrote: > > Having read the discussion on #1348 (thank you for the link), I must >> strongly disagree with this assessment. >> >> There were two problems involved in that bug: >> 1) Leo created a spurious vnode when reading an outline. >> 2) This exposed a timing race due to using timestamp based IDs. >> >> Introducing UUIDs was a proposed solution. Sequence numbers were the >> chosen alternative. Both were reasonable. >> > > Interesting. I don't remember the details, so you may well be correct. > > Using username and timestamp information in your workflow is both fair >> and reasonable. Blaming UUIDs for a bug caused by improper use of >> timestamps is neither. >> > > Thanks for these remarks. All I remember was the pain of the bugs, so > perhaps you are correct that UUIDs were not the real culprit. This is not a > hot button issue for me. I'm often wrong about details. > > It seems we both agree that the present scheme is reasonable. Let's leave > it at that. > > Anyway, it's way too late to consider significant changes to Leo for 6.7.0, > and any change to Leo's file format qualifies as a *highly* significant > change :-) > > Edward > I understand the pain and frustration of hard-to-trace bugs. We've all been there. I also apologize for being harsh. I get attached to things, too. ;)
We both have reasonable objectives. That's why I asked for an option setting, so both use cases are covered, but I don't mind keeping a private fork. I agree that file format changes are a big deal. That's why I was hoping to get this in for 6.7.0, but I guess I rushed it. Sorry about that. On that note I have some ideas for cleaning up and extending Leo's file format and undo helpers -- user attribute handling in particular is pretty cludgy -- but that would be for 7.0 at minimum. Such changes would run far and deep and I've been trying to avoid that with my submissions. Cheers. -- 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/f5d72add-4814-0aca-88ac-1e872df833a2%40runbox.com.
