class view_skel : [> Gtk.text_view ] Gtk.obj -> object .. end
Widget that displays a GText.buffer
GTK documentation: GtkTextView
Inherits
val obj : ([> Gtk.text_view ] as 'a) Gtk.obj
method as_view : Gtk.text_view Gtk.obj
method accepts_tab : bool
method add_child_at_anchor : GObj.widget -> child_anchor -> unit
method add_child_in_window : child:GObj.widget ->
which_window:Gtk.Tags.text_window_type -> x:int -> y:int -> unit
method backward_display_line : iter -> bool
method backward_display_line_start : iter -> bool
method buffer : buffer
method buffer_to_window_coords : tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
method cursor_visible : bool
method editable : bool
method event : GObj.event_ops
method forward_display_line : iter -> bool
method forward_display_line_end : iter -> bool
method get_border_window_size : [ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> int
method get_iter_at_location : x:int -> y:int -> iter
method get_iter_location : iter -> Gdk.Rectangle.t
method get_line_at_y : int -> iter * int
method get_line_yrange : iter -> int * int
method get_window : Gtk.Tags.text_window_type -> Gdk.window option
method get_window_type : Gdk.window -> Gtk.Tags.text_window_type
method indent : int
method justification : Gtk.Tags.justification
method left_margin : int
method misc : GObj.misc_ops
method move_child : child:GObj.widget -> x:int -> y:int -> unit
method move_mark_onscreen : mark -> bool
method move_visually : iter -> int -> bool
method pixels_above_lines : int
method pixels_below_lines : int
method pixels_inside_wrap : int
method place_cursor_onscreen : unit -> bool
method right_margin : int
method scroll_mark_onscreen : mark -> unit
method scroll_to_iter : ?within_margin:float ->
?use_align:bool -> ?xalign:float -> ?yalign:float -> iter -> bool
use_align : default value is false
method scroll_to_mark : ?within_margin:float ->
?use_align:bool -> ?xalign:float -> ?yalign:float -> mark -> unit
use_align : default value is false
method set_accepts_tab : bool -> unit
method set_border_window_size : typ:[ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> size:int -> unit
method set_buffer : buffer -> unit
method set_cursor_visible : bool -> unit
method set_editable : bool -> unit
method set_indent : int -> unit
method set_justification : Gtk.Tags.justification -> unit
method set_left_margin : int -> unit
method set_pixels_above_lines : int -> unit
method set_pixels_below_lines : int -> unit
method set_pixels_inside_wrap : int -> unit
method set_right_margin : int -> unit
method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
method starts_display_line : iter -> bool
method visible_rect : Gdk.Rectangle.t
method window_to_buffer_coords : tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
method wrap_mode : Gtk.Tags.wrap_mode