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