object
  method addEventListener :
    Js.js_string Js.t ->
    (unit -> bool Js.t) Js.callback -> bool Js.t Js.opt -> unit Js.meth
  method addState : Goog.Geditor.Plugins.undoRedoState Js.t -> unit Js.meth
  method clearHistory : unit Js.meth
  method dispatchEvent :
    (Js.js_string Js.t, Events.event Js.t) Tools.Union.t -> bool Js.t Js.meth
  method dispose : unit Js.meth
  method getDisposed : bool Js.t Js.meth
  method getParentEventTarget : Events.eventTarget Js.t Js.meth
  method hasRedoState : bool Js.t Js.meth
  method hasUndoState : bool Js.t Js.meth
  method isDisposed : bool Js.t Js.meth
  method redo : unit Js.meth
  method redoPeek : Goog.Geditor.Plugins.undoRedoState Js.t Js.optdef Js.meth
  method removeEventListener :
    Js.js_string Js.t ->
    (unit -> bool Js.t) Js.callback -> bool Js.t Js.opt -> unit Js.meth
  method setMaxUndoDepth : int -> unit Js.meth
  method setParentEventTarget :
    Events.eventTarget Js.t Js.opt -> unit Js.meth
  method undo : unit Js.meth
  method undoPeek : Goog.Geditor.Plugins.undoRedoState Js.t Js.optdef Js.meth
end