Class type Dom_html.undoManager


class type undoManager = object .. end
Undo manager