Module 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
]
class nocopy_iter : Gtk.text_iter -> object ... end

@gtkdoc gtk gtk-GtkTextIter

and 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

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