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