class child_anchor : Gtk.text_child_anchor -> object ... endval child_anchor : unit -> child_anchortype tag_property = [ | `BACKGROUND of string| `BACKGROUND_FULL_HEIGHT of bool| `BACKGROUND_FULL_HEIGHT_SET of bool| `BACKGROUND_GDK of Gdk.color| `BACKGROUND_SET of bool| `BACKGROUND_STIPPLE of Gdk.bitmap| `BACKGROUND_STIPPLE_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| `FOREGROUND_STIPPLE of Gdk.bitmap| `FOREGROUND_STIPPLE_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| `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 ] Gtk.obj -> object ... endclass tag : Gtk.text_tag -> object ... endval tag : ?name:string -> unit -> tagtype contents = [ | `CHAR of Glib.unichar| `CHILD of child_anchor| `PIXBUF of GdkPixbuf.pixbuf| `UNKNOWN ]class nocopy_iter : Gtk.text_iter -> object ... endclass iter : Gtk.text_iter -> object ... endval as_iter : iter -> Gtk.text_iterclass tag_table_signals : [> `texttagtable ] Gtk.obj -> object ... endclass tag_table_skel : [> `texttagtable ] Gtk.obj -> object ... endval tag_table : unit -> tag_tableclass type buffer_signals_skel_type = object ... endclass type 'b buffer_signals_type = object ... endclass virtual buffer_signals_skel : object ... endclass buffer_signals : [> `textbuffer ] as 'a Gtk.obj -> buffer_signals_typetype position = [ | `END| `INSERT| `ITER of iter| `LINE of int| `LINEBYTE of int * int| `LINECHAR of int * int| `MARK of Gtk.text_mark| `NAME of string| `OFFSET of int| `SEL_BOUND| `START ]class buffer_skel : [> `textbuffer ] Gtk.obj -> object ... endclass view_signals : [> Gtk.text_view ] Gtk.obj -> object ... endclass view_skel : [> Gtk.text_view ] as 'b Gtk.obj -> object ... endclass view : [> Gtk.text_view ] as 'b 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