The undo/redo manager for well formed javascript applications.