Class type Dom_html.undoManager

Undo manager