-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
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.
