[> Gtk.editable ] Gtk.obj ->
object ('a)
  method after : 'a
  method changed : callback:(unit -> unit) -> GtkSignal.id
  method delete_text :
    callback:(start:int -> stop:int -> unit) -> GtkSignal.id
  method destroy : callback:(unit -> unit) -> GtkSignal.id
  method insert_text :
    callback:(string -> pos:int Pervasives.ref -> unit) -> GtkSignal.id
end