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
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
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