`([> Gtk.old_editable ] as 'b) Gtk.obj ->
object ('a)
val obj : 'b Gtk.obj
method activate : callback:(unit -> unit) -> GtkSignal.id
method after : 'a
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`