object
  method begin_not_undoable_action : unit -> unit
  method can_redo : bool
  method can_redo_changed : unit -> unit
  method can_undo : bool
  method can_undo_changed : unit -> unit
  method end_not_undoable_action : unit -> unit
  method redo : unit -> unit
  method undo : unit -> unit
end