`GtkSourceView2_types.source_undo_manager Gtk.obj ->
object
val obj : GtkSourceView2_types.source_undo_manager Gtk.obj
method as_source_undo_manager :
GtkSourceView2_types.source_undo_manager Gtk.obj
method begin_not_undoable_action : unit -> unit
method can_redo : bool
method can_redo_changed : unit -> unit
method can_undo : bool
method can_undo_changed : unit -> unit
method connect : GSourceView2.source_undo_manager_signals
method end_not_undoable_action : unit -> unit
method redo : unit -> unit
method undo : unit -> unit
end`