mailing-list for TeXmacs Users

[Amir Michail <address@hidden>]

> On Jun 21, 2019, at 1:58 am, Massimiliano Gubinelli <address@hidden> wrote:
> 
> 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?
> 

Consider for example being able to undo changes to the document text and 
background colors.

Amir

> 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
>