package lablgtk3

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