package lablgtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val obj : Gtk.text Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method backward_delete : int -> unit
method coerce : GObj.widget
method connect : old_editable_signals
method copy_clipboard : unit -> unit
method cut_clipboard : unit -> unit
method delete_selection : unit -> unit
method delete_text : start:int -> stop:int -> unit
method destroy : unit -> unit
method drag : GObj.drag_ops
method editable : bool
method event : GObj.event_ops
method forward_delete : int -> unit
method freeze : unit -> unit
method get_chars : start:int -> stop:int -> string
method get_oid : int
method hadjustment : GData.adjustment
method insert : ?font:Gdk.font -> ?foreground:GDraw.color -> ?background:GDraw.color -> string -> unit
method insert_text : string -> pos:int -> int
method length : int
method line_wrap : bool
method misc : GObj.misc_ops
method paste_clipboard : unit -> unit
method point : int
method position : int
method select_region : start:int -> stop:int -> unit
method selection : (int * int) option
method set_editable : bool -> unit
method set_hadjustment : GData.adjustment -> unit
method set_line_wrap : bool -> unit
method set_point : int -> unit
method set_position : int -> unit
method set_vadjustment : GData.adjustment -> unit
method set_word_wrap : bool -> unit
method thaw : unit -> unit
method vadjustment : GData.adjustment
method word_wrap : bool