undo-redo and pointer plugins for beautify