GtkSourceView3_types.source_view Gtk.obj ->
object
  val obj : GtkSourceView3_types.source_view Gtk.obj
  method accepts_tab : bool
  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 auto_indent : bool
  method backward_display_line : GText.iter -> bool
  method backward_display_line_start : GText.iter -> bool
  method bottom_margin : int
  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 completion : GSourceView3.source_completion
  method connect : GSourceView3.source_view_signals
  method cursor_visible : bool
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method draw_spaces : SourceView3Enums.source_draw_spaces_flags list
  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 highlight_current_line : bool
  method im_module : string
  method indent : int
  method indent_on_tab : bool
  method indent_width : int
  method input_hints : GtkEnums.input_hints
  method input_purpose : GtkEnums.input_purpose
  method insert_spaces_instead_of_tabs : bool
  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 : GText.mark -> bool
  method move_visually : GText.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 right_margin_position : 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_accepts_tab : bool -> unit
  method set_auto_indent : bool -> unit
  method set_border_window_size :
    typ:[ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> size:int -> unit
  method set_bottom_margin : int -> unit
  method set_buffer : GText.buffer -> unit
  method set_cursor_color : Gdk.color -> unit
  method set_cursor_visible : bool -> unit
  method set_draw_spaces :
    SourceView3Enums.source_draw_spaces_flags list -> unit
  method set_editable : bool -> unit
  method set_highlight_current_line : bool -> unit
  method set_im_module : string -> unit
  method set_indent : int -> unit
  method set_indent_on_tab : bool -> unit
  method set_indent_width : int -> unit
  method set_input_hints : GtkEnums.input_hints -> unit
  method set_input_purpose : GtkEnums.input_purpose -> unit
  method set_insert_spaces_instead_of_tabs : bool -> 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_right_margin_position : int -> unit
  method set_show_line_marks : bool -> unit
  method set_show_line_numbers : bool -> unit
  method set_show_right_margin : bool -> unit
  method set_smart_home_end :
    SourceView3Enums.source_smart_home_end_type -> unit
  method set_tab_width : int -> unit
  method set_top_margin : int -> unit
  method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
  method show_line_marks : bool
  method show_line_numbers : bool
  method show_right_margin : bool
  method smart_home_end : SourceView3Enums.source_smart_home_end_type
  method source_buffer : GSourceView3.source_buffer
  method starts_display_line : GText.iter -> bool
  method tab_width : int
  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
end