Class GText.view_skel

class view_skel : [> Gtk.text_view ] Gtk.obj -> object .. end

• GObj.widget

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 bottom_margin : int

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 im_module : string

method indent : int

method input_hints : GtkEnums.input_hints

method input_purpose : GtkEnums.input_purpose

method justification : Gtk.Tags.justification

method left_margin : int

method misc : GObj.misc_ops

method monospace : bool

method move_child : child:GObj.widget -> x:int -> y:int -> unit

method move_mark_onscreen : mark -> bool

method move_visually : iter -> int -> bool

method overwrite : bool

method pixels_above_lines : int

method pixels_below_lines : int

method pixels_inside_wrap : int

method place_cursor_onscreen : unit -> bool

method populate_all : 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

method scroll_to_mark : ?within_margin:float ->
       ?use_align:bool -> ?xalign:float -> ?yalign:float -> mark -> unit

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_bottom_margin : int -> unit

method set_cursor_visible : bool -> unit

method set_editable : bool -> unit

method set_im_module : string -> unit

method set_indent : int -> unit

method set_input_hints : GtkEnums.input_hints -> unit

method set_input_purpose : GtkEnums.input_purpose -> unit

method set_justification : Gtk.Tags.justification -> unit

method set_left_margin : int -> unit

method set_monospace : bool -> unit

method set_overwrite : bool -> unit

method set_pixels_above_lines : int -> unit

method set_pixels_below_lines : int -> unit

method set_pixels_inside_wrap : int -> unit

method set_populate_all : bool -> unit

method set_right_margin : int -> unit

method set_top_margin : int -> unit

method set_wrap_mode : Gtk.Tags.wrap_mode -> unit

method starts_display_line : iter -> bool

method top_margin : int

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