GtkSourceView3_types.source_undo_manager Gtk.obj ->
object
  val obj : GtkSourceView3_types.source_undo_manager Gtk.obj
  method as_source_undo_manager :
    GtkSourceView3_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 : GSourceView3.source_undo_manager_signals
  method end_not_undoable_action : unit -> unit
  method redo : unit -> unit
  method undo : unit -> unit
end