# Module GtkSourceView2.SourceUndoManager

    module SourceUndoManager: sig .. end

    include GtkSourceView2Props.SourceUndoManager

    type undo_manager = {

`` | `can_undo : `unit -> bool`;`
`` | `can_redo : `unit -> bool`;`
`` | `undo : `unit -> unit`;`
`` | `redo : `unit -> unit`;`
`` | `begin_not_undoable_action : `unit -> unit`;`
`` | `end_not_undoable_action : `unit -> unit`;`
`` | `can_undo_changed : `unit -> unit`;`
`` | `can_redo_changed : `unit -> unit`;`

}

    val new_ : undo_manager ->
           [ `sourceundomanager ] Gtk.obj