Module GtkSourceView3.SourceUndoManager
include GtkSourceView3Props.SourceUndoManager
val cast : 'a Gobject.obj -> GtkSourceView3_types.source_undo_manager Gobject.obj
module S = GtkSourceView3Props.SourceUndoManager.S
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
=
{
}
val new_ : undo_manager -> [ `sourceundomanager ] Gtk.obj