Module GtkSourceView3.SourceUndoManager

include GtkSourceView3Props.SourceUndoManager
val cast : 'a Gobject.obj -> GtkSourceView3_types.source_undo_manager Gobject.obj
val create : GtkSourceView3_types.source_undo_manager Gobject.param list -> GtkSourceView3_types.source_undo_manager Gobject.obj
val can_undo : [> `sourceundomanager ] Gobject.obj -> bool
val can_redo : [> `sourceundomanager ] Gobject.obj -> bool
val undo : [> `sourceundomanager ] Gobject.obj -> unit
val redo : [> `sourceundomanager ] Gobject.obj -> unit
val begin_not_undoable_action : [> `sourceundomanager ] Gobject.obj -> unit
val end_not_undoable_action : [> `sourceundomanager ] Gobject.obj -> unit
val can_undo_changed : [> `sourceundomanager ] Gobject.obj -> unit
val can_redo_changed : [> `sourceundomanager ] Gobject.obj -> unit
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