view_signals (p.lablgtk3.3.1.4.doc.lablgtk3.GText.view

method after : '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 toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id

method notify_accepts_tab : callback:(bool -> unit) -> GtkSignal.id

method notify_bottom_margin : callback:(int -> unit) -> GtkSignal.id

method notify_cursor_visible : callback:(bool -> unit) -> GtkSignal.id

method notify_editable : callback:(bool -> unit) -> GtkSignal.id

method notify_hadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id

method notify_im_module : callback:(string -> unit) -> GtkSignal.id

method notify_indent : callback:(int -> unit) -> GtkSignal.id

method notify_input_hints : callback:(GtkEnums.input_hints -> unit) ->
  GtkSignal.id

method notify_input_purpose : callback:(GtkEnums.input_purpose -> unit) ->
  GtkSignal.id

method notify_justification : callback:(GtkEnums.justification -> unit) ->
  GtkSignal.id

method notify_left_margin : callback:(int -> unit) -> GtkSignal.id

method notify_monospace : callback:(bool -> unit) -> GtkSignal.id

method notify_overwrite : callback:(bool -> unit) -> GtkSignal.id

method notify_pixels_above_lines : callback:(int -> unit) -> GtkSignal.id

method notify_pixels_below_lines : callback:(int -> unit) -> GtkSignal.id

method notify_pixels_inside_wrap : callback:(int -> unit) -> GtkSignal.id

method notify_populate_all : callback:(bool -> unit) -> GtkSignal.id

method notify_right_margin : callback:(int -> unit) -> GtkSignal.id

method notify_top_margin : callback:(int -> unit) -> GtkSignal.id

method notify_vadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id

method notify_wrap_mode : callback:(GtkEnums.wrap_mode -> unit) -> GtkSignal.id