- method add_child_at_anchor : GObj.widget -> GText.child_anchor -> unit
- method add_child_in_window :
- child:GObj.widget ->
- which_window:Gtk.Tags.text_window_type -> x:int -> y:int -> unit
- method as_view : Gtk.text_view Gtk.obj
- method as_widget : Gtk.widget Gtk.obj
- method backward_display_line : GText.iter -> bool
- method backward_display_line_start : GText.iter -> bool
- method buffer : GText.buffer
- method buffer_to_window_coords :
- tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
- method coerce : GObj.widget
- method connect : source_view_signals
- method cursor_visible : bool
- method destroy : unit -> unit
- method drag : GObj.drag_ops
- method editable : bool
- method event : GObj.event_ops
- method forward_display_line : GText.iter -> bool
- method forward_display_line_end : GText.iter -> bool
- method get_border_window_size :
- [ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> int
- method get_iter_at_location : x:int -> y:int -> GText.iter
- method get_iter_location : GText.iter -> Gdk.Rectangle.t
- method get_line_at_y : int -> GText.iter * int
- method get_line_yrange : GText.iter -> int * int
- method get_oid : 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 : GText.mark -> bool
- method move_visually : GText.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 : GText.mark -> unit
- method scroll_to_iter :
- ?within_margin:float ->
- ?use_align:bool -> ?xalign:float -> ?yalign:float -> GText.iter -> bool
- method scroll_to_mark :
- ?within_margin:float ->
- ?use_align:bool -> ?xalign:float -> ?yalign:float -> GText.mark -> unit
- method set_border_window_size :
- typ:[ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> size:int -> unit
- method set_buffer : GText.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