([> Gtk.old_editable ] as 'a) Gtk.obj ->
object ('b)
  val obj : 'a Gtk.obj
  method activate : callback:(unit -> unit) -> GtkSignal.id
  method after : 'b
  method changed : callback:(unit -> unit) -> GtkSignal.id
  method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
  method cut_clipboard : 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 ref -> unit) -> GtkSignal.id
  method move_cursor : callback:(int -> int -> unit) -> GtkSignal.id
  method move_page : callback:(int -> unit) -> GtkSignal.id
  method move_to_column : callback:(int -> unit) -> GtkSignal.id
  method move_to_row : callback:(int -> unit) -> GtkSignal.id
  method move_word : callback:(int -> unit) -> GtkSignal.id
  method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
end