`GtkSourceView2_types.source_view Gtk.obj ->
object
val obj : GtkSourceView2_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 completion : GSourceView2.source_completion
method connect : GSourceView2.source_view_signals
method cursor_visible : bool
method destroy : unit -> unit
method drag : GObj.drag_ops
method draw_spaces : SourceView2Enums.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_mark_category_background : category:string -> Gdk.color option
method get_mark_category_pixbuf :
category:string -> GdkPixbuf.pixbuf option
method get_mark_category_priority : category:string -> 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 indent_on_tab : bool
method indent_width : int
method insert_spaces_instead_of_tabs : bool
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 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_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_draw_spaces :
SourceView2Enums.source_draw_spaces_flags list -> unit
method set_editable : bool -> unit
method set_highlight_current_line : bool -> unit
method set_indent : int -> unit
method set_indent_on_tab : bool -> unit
method set_indent_width : 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_mark_category_background :
category:string -> Gdk.color option -> unit
method set_mark_category_pixbuf :
category:string -> GdkPixbuf.pixbuf option -> unit
method set_mark_category_priority : category:string -> 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_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 :
SourceView2Enums.source_smart_home_end_type -> unit
method set_tab_width : 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 : SourceView2Enums.source_smart_home_end_type
method source_buffer : GSourceView2.source_buffer
method starts_display_line : GText.iter -> bool
method tab_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`