SUMMARY: undo is impossible after file reload STEPS TO REPRODUCE 1. edit a document 2. the document is accidentally deleted by an external process 3. a popup appears "Reload / Overwrite / Ignore Change" the user presses on "Reload". 4. the user realizes that both the deletion and the reload were accidental and want to recover the data 5. the user Ctrl-Z to undo the reload OBSERVED RESULT The reload cannot be undone, the file content is lost. EXPECTED RESULT The reload can be undone, the use can recover the file content that was being edited. Thanks for the great software!
I think we fixed stuff like that in later releases. Please try 23.08 or later.