Re: track-changes and undo

[Stefan Monnier]

Hi Joost,

> So I'm wondering: is there a way to know if a change is made during
> undo?  If not, would it make sense to add it as an option?

Very interesting point.  Indeed, this is missing.
Hmm... not completely sure how to expose that info through this new API.
Maybe a concrete example would help figure out how to make that work.
Do you remember how you used (or why you needed) `undo-in-progress`?


        Stefan