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