method private virtual connect : 'b. ([> `textview ] as 'a, 'b) GtkSignal.t ->
callback:'b ->
GtkSignal.idmethod copy_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod cut_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod delete_from_cursor : callback:(GtkEnums.delete_type -> int -> unit) ->
GtkSignal.idmethod insert_at_cursor : callback:(string -> unit) -> GtkSignal.idmethod move_cursor : callback:
(GtkEnums.movement_step -> int -> extend:bool -> unit) ->
GtkSignal.idmethod move_focus : callback:(GtkEnums.direction_type -> unit) -> GtkSignal.idmethod private virtual notify : 'b. ('a, 'b) Gobject.property ->
callback:('b -> unit) ->
GtkSignal.idmethod notify_accepts_tab : callback:(bool -> unit) -> GtkSignal.idmethod notify_bottom_margin : callback:(int -> unit) -> GtkSignal.idmethod notify_cursor_visible : callback:(bool -> unit) -> GtkSignal.idmethod notify_editable : callback:(bool -> unit) -> GtkSignal.idmethod notify_im_module : callback:(string -> unit) -> GtkSignal.idmethod notify_indent : callback:(int -> unit) -> GtkSignal.idmethod notify_input_hints : callback:(GtkEnums.input_hints -> unit) ->
GtkSignal.idmethod notify_input_purpose : callback:(GtkEnums.input_purpose -> unit) ->
GtkSignal.idmethod notify_justification : callback:(GtkEnums.justification -> unit) ->
GtkSignal.idmethod notify_left_margin : callback:(int -> unit) -> GtkSignal.idmethod notify_monospace : callback:(bool -> unit) -> GtkSignal.idmethod notify_overwrite : callback:(bool -> unit) -> GtkSignal.idmethod notify_pixels_above_lines : callback:(int -> unit) -> GtkSignal.idmethod notify_pixels_below_lines : callback:(int -> unit) -> GtkSignal.idmethod notify_pixels_inside_wrap : callback:(int -> unit) -> GtkSignal.idmethod notify_populate_all : callback:(bool -> unit) -> GtkSignal.idmethod notify_right_margin : callback:(int -> unit) -> GtkSignal.idmethod notify_top_margin : callback:(int -> unit) -> GtkSignal.idmethod notify_wrap_mode : callback:(GtkEnums.wrap_mode -> unit) -> GtkSignal.idmethod page_horizontally : callback:(int -> extend:bool -> unit) ->
GtkSignal.idmethod paste_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod populate_popup : callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.idmethod set_anchor : callback:(unit -> unit) -> GtkSignal.idmethod set_scroll_adjustments : callback:
(GData.adjustment option ->
GData.adjustment option ->
unit) ->
GtkSignal.idmethod toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id