Chronological Thread 

< Chronological >      < Thread >

---

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

---

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

---

Archive powered by MHonArc 2.6.19.