I think if the editor had push/pop/peek operations on the undo stack, I'd be happy to use them.