module SourceUndoManager:sig
..end
include GtkSourceView2Props.SourceUndoManager
type
undo_manager = {
|
can_undo : |
|
can_redo : |
|
undo : |
|
redo : |
|
begin_not_undoable_action : |
|
end_not_undoable_action : |
|
can_undo_changed : |
|
can_redo_changed : |
val new_ : undo_manager ->
[ `sourceundomanager ] Gtk.obj