# Class type GSourceView2.custom_undo_manager

    class type custom_undo_manager = object .. end

    method can_undo : bool

    method can_redo : bool

    method undo : unit -> unit

    method redo : unit -> unit

    method begin_not_undoable_action : unit -> unit

    method end_not_undoable_action : unit -> unit

    method can_undo_changed : unit -> unit

    method can_redo_changed : unit -> unit