val obj : 'a Gtk.objmethod activate : callback:(unit -> unit) -> GtkSignal.idmethod after : old_editable_signals as 'cmethod changed : callback:(unit -> unit) -> GtkSignal.idmethod copy_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod cut_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod delete_text : callback:(start:int -> stop:int -> unit) -> GtkSignal.idmethod destroy : callback:(unit -> unit) -> GtkSignal.idmethod insert_text : callback:(string -> pos:int Stdlib.ref -> unit) ->
GtkSignal.idmethod move_cursor : callback:(int -> int -> unit) -> GtkSignal.idmethod move_page : callback:(int -> unit) -> GtkSignal.idmethod move_to_column : callback:(int -> unit) -> GtkSignal.idmethod move_to_row : callback:(int -> unit) -> GtkSignal.idmethod move_word : callback:(int -> unit) -> GtkSignal.idmethod paste_clipboard : callback:(unit -> unit) -> GtkSignal.id