package lablgtk3

  1. Overview
  2. Docs
package lablgtk3
Legend:
Library
Module
Module type
Parameter
Class
Class type
method after : < after : 'a ; apply_tag : callback:(tag -> start:iter -> stop:iter -> unit) -> GtkSignal.id ; begin_user_action : callback:(unit -> unit) -> GtkSignal.id ; changed : callback:(unit -> unit) -> GtkSignal.id ; delete_range : callback:(start:iter -> stop:iter -> unit) -> GtkSignal.id ; end_user_action : callback:(unit -> unit) -> GtkSignal.id ; insert_child_anchor : callback:(iter -> Gtk.text_child_anchor -> unit) -> GtkSignal.id ; insert_pixbuf : callback:(iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.id ; insert_text : callback:(iter -> string -> unit) -> GtkSignal.id ; mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id ; mark_set : callback:(iter -> Gtk.text_mark -> unit) -> GtkSignal.id ; modified_changed : callback:(unit -> unit) -> GtkSignal.id ; notify_cursor_position : callback:(int -> unit) -> GtkSignal.id ; notify_has_selection : callback:(bool -> unit) -> GtkSignal.id ; notify_tag_table : callback:(Gtk.text_tag_table -> unit) -> GtkSignal.id ; remove_tag : callback:(tag -> start:iter -> stop:iter -> unit) -> GtkSignal.id.. > as 'a
method apply_tag : callback:(tag -> start:iter -> stop:iter -> unit) -> GtkSignal.id
method begin_user_action : callback:(unit -> unit) -> GtkSignal.id
method changed : callback:(unit -> unit) -> GtkSignal.id
method private connect : 'c. ('b, 'c) GtkSignal.t -> callback:'c -> GtkSignal.id
method delete_range : callback:(start:iter -> stop:iter -> unit) -> GtkSignal.id
method end_user_action : callback:(unit -> unit) -> GtkSignal.id
method insert_child_anchor : callback:(iter -> Gtk.text_child_anchor -> unit) -> GtkSignal.id
method insert_pixbuf : callback:(iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.id
method insert_text : callback:(iter -> string -> unit) -> GtkSignal.id
method mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id
method mark_set : callback:(iter -> Gtk.text_mark -> unit) -> GtkSignal.id
method modified_changed : callback:(unit -> unit) -> GtkSignal.id
method private notify : 'c. ('b, 'c) Gobject.property -> callback:('c -> unit) -> GtkSignal.id
method notify_cursor_position : callback:(int -> unit) -> GtkSignal.id
method notify_has_selection : callback:(bool -> unit) -> GtkSignal.id
method notify_tag_table : callback:(Gtk.text_tag_table -> unit) -> GtkSignal.id
method remove_tag : callback:(tag -> start:iter -> stop:iter -> unit) -> GtkSignal.id