class source_view : GtkSourceView3_types.source_view Gtk.obj ->
object
.. end
Inherits
val obj : GtkSourceView3_types.source_view Gtk.obj
method completion : source_completion
method connect : source_view_signals
method source_buffer : source_buffer
method set_show_line_numbers : bool -> unit
method show_line_numbers : bool
method set_highlight_current_line : bool -> unit
method highlight_current_line : bool
method set_tab_width : int -> unit
method tab_width : int
method set_auto_indent : bool -> unit
method auto_indent : bool
method set_insert_spaces_instead_of_tabs : bool -> unit
method insert_spaces_instead_of_tabs : bool
method set_cursor_color : Gdk.color -> unit
method draw_spaces : SourceView3Enums.source_draw_spaces_flags list
method set_draw_spaces : SourceView3Enums.source_draw_spaces_flags list -> unit