class view_signals : [> Gtk.text_view ] Gtk.obj ->
object
.. end
GTK documentation: GtkTextView
method after : < after : 'a; copy_clipboard : callback:(unit -> unit) -> GtkSignal.id;
cut_clipboard : callback:(unit -> unit) -> GtkSignal.id;
delete_from_cursor : callback:(Gtk.Tags.delete_type -> int -> unit) ->
GtkSignal.id;
destroy : callback:(unit -> unit) -> GtkSignal.id;
insert_at_cursor : callback:(string -> unit) -> GtkSignal.id;
move_cursor : callback:(Gtk.Tags.movement_step ->
int -> extend:bool -> unit) ->
GtkSignal.id;
move_focus : callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id;
page_horizontally : callback:(int -> extend:bool -> unit) -> GtkSignal.id;
paste_clipboard : callback:(unit -> unit) -> GtkSignal.id;
populate_popup : callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id;
set_anchor : callback:(unit -> unit) -> GtkSignal.id;
set_scroll_adjustments : callback:(GData.adjustment option ->
GData.adjustment option -> unit) ->
GtkSignal.id;
toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id; .. >
as 'a
method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
method delete_from_cursor : callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
method move_cursor : callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
GtkSignal.id
method move_focus : callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id
method page_horizontally : callback:(int -> extend:bool -> unit) -> GtkSignal.id
method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
method populate_popup : callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id
method set_anchor : callback:(unit -> unit) -> GtkSignal.id
method set_scroll_adjustments : callback:(GData.adjustment option -> GData.adjustment option -> unit) ->
GtkSignal.id
method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id