Hi, I was wondering if I can find any documentation, design doc or explanation about the undo manager in the wave editor. I am particularly interested in how the undo manager interacts with server operations, and how it performs undo-ing of client operations after applying server operations.
Thanks!
