GtkSourceView_types.source_view Gtk.obj ->
object
  val obj : GtkSourceView_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 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 : GSourceView.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 highlight_current_line : bool
  method indent : int
  method insert_spaces_instead_of_tabs : bool
  method justification : Gtk.Tags.justification
  method left_margin : int
  method margin : int
  method marker_pixbuf : string -> GdkPixbuf.pixbuf
  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_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_buffer : GText.buffer -> unit
  method set_cursor_color : Gdk.color -> unit
  method set_cursor_color_by_name : string -> unit
  method set_cursor_visible : bool -> unit
  method set_editable : bool -> unit
  method set_highlight_current_line : bool -> unit
  method set_indent : int -> 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_margin : int -> unit
  method set_marker_pixbuf : string -> GdkPixbuf.pixbuf -> 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_show_line_markers : bool -> unit
  method set_show_line_numbers : bool -> unit
  method set_show_margin : bool -> unit
  method set_smart_home_end : bool -> unit
  method set_tabs_width : int -> unit
  method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
  method show_line_markers : bool
  method show_line_numbers : bool
  method show_margin : bool
  method smart_home_end : bool
  method source_buffer : GSourceView.source_buffer
  method starts_display_line : GText.iter -> bool
  method tabs_width : 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