GText
The text widget and associated objects @gtkdoc gtk TextWidget
class child_anchor : Gtk.text_child_anchor -> object ... end
val child_anchor : unit -> child_anchor
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
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
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
Collection of tags that can be used together @gtkdoc gtk GtkTextTagTable
val tag_table : unit -> tag_table
@gtkdoc gtk GtkTextTagTable
@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
class buffer_skel : [> `textbuffer ] Gtk.obj -> object ... end
Stores attributed text for display in a GText.view
@gtkdoc gtk GtkTextBuffer
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