Re: [dev] [edit] Introducing edit, a simple text editor

From: Roberto E. Vargas Caballero <k0ga_AT_shike2.com>
Date: Tue, 24 Oct 2023 15:01:20 +0200

Hi,

On Mon, Oct 23, 2023 at 10:52:11AM -0400, Sean MacLennan wrote:
> Basically, I agree that undo is hard.

Indeed. Ed gets undo by design keeping a history keeping a list of lines
and every modification implies a new list, so you can always undo (at least
once).

Regards,
Received on Tue Oct 24 2023 - 15:01:20 CEST