man GEdit.editable_signals () - no description
NAME
GEdit.editable_signals - no description
Class
Class GEdit.editable_signals
Documentation
class editable_signals : [> Gtk.editable ] Gtk.obj -> object end
Parameters:
- ""
([> Gtk.editable ] as 'a) Gtk.obj
method changed : callback:(unit -> unit) -> GtkSignal.id
method delete_text : callback:(start:int -> stop:int -> unit) -> GtkSignal.id
method insert_text : callback:(string -> pos:int Pervasives.ref -> unit) -> GtkSignal.id