class editable_signals :GTK documentation: GtkEditable[> Gtk.editable ] Gtk.obj ->object..end
method changed : callback:(unit -> unit) -> GtkSignal.idmethod delete_text : callback:(start:int -> stop:int -> unit) -> GtkSignal.idmethod insert_text : callback:(string -> pos:int Pervasives.ref -> unit) -> GtkSignal.id