man GText.view_signals () - no description

NAME

GText.view_signals - no description

Class

Class GText.view_signals

Documentation

class view_signals : [> Gtk.text_view ] Gtk.obj -> object end

Parameters:

""

([> Gtk.text_view ] as 'a) Gtk.obj

method after : < after : 'b; 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 'b

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