[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Editing change groups
|
From: |
Noam Postavsky |
|
Subject: |
Re: Editing change groups |
|
Date: |
Fri, 9 Nov 2018 06:58:29 -0500 |
On Fri, 9 Nov 2018 at 02:53, Michael Heerdegen <michael_heerdegen@web.de> wrote:
> I have the following requirement for a user interface: if the user hits
> a key, something in the buffer is replaced with something else. Doing
> this potentially involves several editing operations. If the user hits
> the same key again, the old contents are restored.
Possible alternative approach with prior art in string-rectangle: fake
the change with overlays for preview, then it's easy to remove.