Is it possible to detect wether an update was dispatched via undo (or redo)?
My use case: I want to react to document changes, but not if undo is dispatched.
I was thinking of setting a flag before executing undo(view) and unsetting it when the updateListener runs, but I’m still a codemirror beginner and can’t seem to get it working via a state field.
Any help is much appreciated!