SourceUndoManager (lablgtk3-sourceview3.GtkSourceView3.SourceUndoManager)

include module type of struct include GtkSourceView3Props.SourceUndoManager end

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 = {

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