Subject: mailing-list for TeXmacs Users
List archive
From : Amir Michail <address@hidden>- To: texmacs-users <address@hidden>
- Subject: [TeXmacs] How do you undo changes made via the "Document" menu?
- Date: Wed, 19 Jun 2019 08:46:10 -0400
Hello,
If there is no easy way to undo changes made via the “Document” menu, then I
think there should be.
It should just work as part of the standard undo/redo system.
Amir
- [TeXmacs] How do you undo changes made via the "Document" menu?, Amir Michail, 06/19/2019
- Re: [TeXmacs] How do you undo changes made via the "Document" menu?, Massimiliano Gubinelli, 06/21/2019
- Re: [TeXmacs] How do you undo changes made via the "Document" menu?, Amir Michail, 06/21/2019
- Re: [TeXmacs] How do you undo changes made via the "Document" menu?, Massimiliano Gubinelli, 06/21/2019
Archive powered by MHonArc 2.6.19.