GText (p.lablgtk3.3.1.0.doc.lablgtk3.GText)

type mark = [

| `INSERT
| `SEL_BOUND
| `NAME of string
| `MARK of Gtk.text_mark

]

class child_anchor : Gtk.text_child_anchor -> object ... end

val child_anchor : unit -> child_anchor

GtkTextTag

type tag_property = [

| `ACCUMULATIVE_MARGIN of bool
| `BACKGROUND of string
| `BACKGROUND_FULL_HEIGHT of bool
| `BACKGROUND_FULL_HEIGHT_SET of bool
| `BACKGROUND_GDK of Gdk.color
| `BACKGROUND_SET of bool
| `DIRECTION of Gtk.Tags.text_direction
| `EDITABLE of bool
| `EDITABLE_SET of bool
| `FAMILY of string
| `FAMILY_SET of bool
| `FONT of string
| `FONT_DESC of Pango.font_description
| `FOREGROUND of string
| `FOREGROUND_GDK of Gdk.color
| `FOREGROUND_SET of bool
| `INDENT of int
| `INDENT_SET of bool
| `INVISIBLE of bool
| `INVISIBLE_SET of bool
| `JUSTIFICATION of Gtk.Tags.justification
| `JUSTIFICATION_SET of bool
| `LANGUAGE of string
| `LANGUAGE_SET of bool
| `LEFT_MARGIN of int
| `LEFT_MARGIN_SET of bool
| `PARAGRAPH_BACKGROUND of string
| `PARAGRAPH_BACKGROUND_GDK of Gdk.color
| `PARAGRAPH_BACKGROUND_SET of bool
| `PIXELS_ABOVE_LINES of int
| `PIXELS_ABOVE_LINES_SET of bool
| `PIXELS_BELOW_LINES of int
| `PIXELS_BELOW_LINES_SET of bool
| `PIXELS_INSIDE_WRAP of int
| `PIXELS_INSIDE_WRAP_SET of bool
| `RIGHT_MARGIN of int
| `RIGHT_MARGIN_SET of bool
| `RISE of int
| `RISE_SET of bool
| `SCALE of Pango.Tags.scale
| `SCALE_SET of bool
| `SIZE of int
| `SIZE_POINTS of float
| `SIZE_SET of bool
| `STRETCH of Pango.Tags.stretch
| `STRETCH_SET of bool
| `STRIKETHROUGH of bool
| `STRIKETHROUGH_SET of bool
| `STYLE of Pango.Tags.style
| `STYLE_SET of bool
| `TABS_SET of bool
| `UNDERLINE of Pango.Tags.underline
| `UNDERLINE_SET of bool
| `VARIANT of Pango.Tags.variant
| `VARIANT_SET of bool
| `WEIGHT of Pango.Tags.weight
| `WEIGHT_SET of bool
| `WRAP_MODE of Gtk.Tags.wrap_mode
| `WRAP_MODE_SET of bool

]

class tag_signals : ([> `texttag ] as 'b) Gtk.obj -> object ... end

@gtkdoc gtk GtkTextTag

class tag : Gtk.text_tag -> object ... end

A tag that can be applied to text in a GText.buffer @gtkdoc gtk GtkTextTag

val tag : ?name:string -> unit -> tag

@gtkdoc gtk GtkTextTag

Text buffer iterator

type contents = [

| `CHAR of Glib.unichar
| `PIXBUF of GdkPixbuf.pixbuf
| `CHILD of child_anchor
| `UNKNOWN

]

Movement functions returning an iter are truly functional i.e. the returned iter shares nothing with the originale one.

If you need to move some iter in an imperative way use #nocopy#....

class nocopy_iter : Gtk.text_iter -> object ... end

@gtkdoc gtk gtk-GtkTextIter

class iter : Gtk.text_iter -> object ... end

@gtkdoc gtk gtk-GtkTextIter

val as_iter : iter -> Gtk.text_iter

@gtkdoc gtk gtk-GtkTextIter

GtkTextTagTable

class tag_table_signals : ([> `texttagtable ] as 'b) Gtk.obj -> object ... end

@gtkdoc gtk GtkTextTagTable

class tag_table_skel : [> `texttagtable ] Gtk.obj -> object ... end

@gtkdoc gtk GtkTextTagTable

class tag_table : [> `texttagtable ] Gtk.obj -> object ... end

Collection of tags that can be used together @gtkdoc gtk GtkTextTagTable

val tag_table : unit -> tag_table

@gtkdoc gtk GtkTextTagTable

GtkTextBuffer

@gtkdoc gtk GtkTextBuffer

class type buffer_signals_skel_type = object ... end

class type 'b buffer_signals_type = object ... end

class virtual buffer_signals_skel : object ... end

class buffer_signals : ([> `textbuffer ] as 'b) Gtk.obj -> 'b buffer_signals_type

exception No_such_mark of string

type position = [

| `OFFSET of int
| `LINE of int
| `LINECHAR of int * int
| `LINEBYTE of int * int
| `START
| `END
| `ITER of iter
| mark

]

class buffer_skel : [> `textbuffer ] Gtk.obj -> object ... end

Stores attributed text for display in a GText.view @gtkdoc gtk GtkTextBuffer

class buffer : [> `textbuffer ] Gtk.obj -> object ... end

val buffer : ?tag_table:tag_table -> ?text:string -> unit -> buffer

@gtkdoc gtk GtkTextBuffer

GtkTextView

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

@gtkdoc gtk GtkTextView

class view_skel : ([> Gtk.text_view ] as 'a) Gtk.obj -> object ... end

Widget that displays a GText.buffer @gtkdoc gtk GtkTextView

class view : ([> Gtk.text_view ] as 'a) Gtk.obj -> object ... end

val view : 
  ?buffer:buffer ->
  ?editable:bool ->
  ?cursor_visible:bool ->
  ?justification:Gtk.Tags.justification ->
  ?wrap_mode:Gtk.Tags.wrap_mode ->
  ?accepts_tab:bool ->
  ?border_width:int ->
  ?width:int ->
  ?height:int ->
  ?packing:(GObj.widget -> unit) ->
  ?show:bool ->
  unit ->
  view

@gtkdoc gtk GtkTextView