The text widget and associated objects @gtkdoc gtk TextWidget
class child_anchor : Gtk.text_child_anchor -> object ... endval child_anchor : unit -> child_anchortype 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 ... endA 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 ... endclass type 'b buffer_signals_type = object ... endclass virtual buffer_signals_skel : object ... endclass buffer_signals : [> `textbuffer ] as 'b Gtk.obj -> 'b buffer_signals_typeclass buffer_skel : [> `textbuffer ] Gtk.obj -> object ... endStores 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 ... endWidget that displays a GText.buffer @gtkdoc gtk GtkTextView
class view : [> Gtk.text_view ] as 'a Gtk.obj -> object ... endval 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