mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

Hi,


> On 19. Jun 2019, at 14:46, Amir Michail <address@hidden> wrote:
> 
> 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.
> 

I assume you mean wrt. Save operations, however it does not seems so simple 
to implement (print and export operation are intrinsically undoable…). 
What should it mean? Do you have in mind something specific?

Maybe we can preserve the last few saved version of the document with 
different names (but this will pollute your directories). Should TeXmacs 
cancel them when it exists? something of this kind have to be implemented 
otherwise we will leave garbage all over around.

Saving is also one of those moment where usually programs clean the internal 
undo history, keeping it around for long could be space-consuming.

Best regards,
Max



> Amir