On Thu, 1 Dec 2022, Jean-Marc Lasgouttes wrote:
Note that Undo is not supposed to do something after you close the file (there is a ticket asking for permanent undo, but this does not exist now).
JMarc, I assumed that was the case; it's certainly reasonable, IMO. Thanks, Rich -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users
