I agree, but with a non-reproducible report it's hard to make any progress. In this case I wanted to be able to file a more definite issue, but also alert people as soon as possible to back up their workbooks until the thing gets resolved.
I do think that one defensive code change to make is for Leo never to replace the workbook - whether or not it can find it - without asking the user. On first use, when the Leo user gets created, that wouldn't apply. On Wednesday, June 28, 2023 at 3:48:14 PM UTC-4 gates...@gmail.com wrote: > I'd like to propose that *any* data corruption issue at all in Leo should > be reported, regardless of whether the steps to replicate are known. The > last thing an editor should ever do is destroy data. > > Jake > > On Wed, Jun 28, 2023 at 1:49 PM Thomas Passin <tbp1...@gmail.com> wrote: > >> >> On Wednesday, June 28, 2023 at 11:42:37 AM UTC-4 Edward K. Ream wrote: >> >> On Wed, Jun 28, 2023 at 10:27 AM Thomas Passin <tbp1...@gmail.com> wrote: >> >> I've done more testing, and the pattern is definitely repeatable. If I >> check out the ekr-3181-mypy-links branch, the first time I launch Leo >> the workbook may not be affected but every time after that it is destroyed >> and replaced by the default CheatSheet. When I change back to the devel >> branch, the first launch after that also replaces the workbook, but after >> that the workbook is opened without replacement. Remember, in these trials >> after each time the workbook gets replaced, I restore it from backup for >> the next launch. >> >> The replacement does not happen if I specify the workbook on the command >> line. Clearing the recent files list had no effect on the behavior. >> Nether did deleting the .leo\db directory. >> >> >> Thanks for this report. Please file an issue, if you haven't done so. >> This issue will have high priority. >> >> >> Done: #3404 <https://github.com/leo-editor/leo-editor/issues/3404> >> >> -- >> 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+...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/leo-editor/e337e8c2-ba2f-46c3-9780-0154dc9e5e9en%40googlegroups.com >> >> <https://groups.google.com/d/msgid/leo-editor/e337e8c2-ba2f-46c3-9780-0154dc9e5e9en%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/765c1c72-a22e-44e6-a0e4-3cdc35bd7b5en%40googlegroups.com.