class source_view_signals : [> GtkSourceView_types.source_view ] Gtk.obj -> object .. end
[> GtkSourceView_types.source_view ] Gtk.obj ->
object
end
GText.view_signals
method redo : callback:(unit -> unit) -> GtkSignal.id
callback:(unit -> unit) -> GtkSignal.id
method undo : callback:(unit -> unit) -> GtkSignal.id