package lablgtk3-sourceview3

  1. Overview
  2. Docs

Module GtkSourceView3.SourceUndoManagerSource

include module type of struct include GtkSourceView3Props.SourceUndoManager end
Sourceval can_undo : [> `sourceundomanager ] Gobject.obj -> bool
Sourceval can_redo : [> `sourceundomanager ] Gobject.obj -> bool
Sourceval undo : [> `sourceundomanager ] Gobject.obj -> unit
Sourceval redo : [> `sourceundomanager ] Gobject.obj -> unit
Sourceval begin_not_undoable_action : [> `sourceundomanager ] Gobject.obj -> unit
Sourceval end_not_undoable_action : [> `sourceundomanager ] Gobject.obj -> unit
Sourceval can_undo_changed : [> `sourceundomanager ] Gobject.obj -> unit
Sourceval can_redo_changed : [> `sourceundomanager ] Gobject.obj -> unit
Sourcetype undo_manager = {
  1. can_undo : unit -> bool;
  2. can_redo : unit -> bool;
  3. undo : unit -> unit;
  4. redo : unit -> unit;
  5. begin_not_undoable_action : unit -> unit;
  6. end_not_undoable_action : unit -> unit;
  7. can_undo_changed : unit -> unit;
  8. can_redo_changed : unit -> unit;
}
Sourceval new_ : undo_manager -> [ `sourceundomanager ] Gtk.obj