class source_view : GtkSourceView2_types.source_view Gtk.obj ->
object
.. end
Inherits
val obj : GtkSourceView2_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 set_cursor_color_by_name : string -> unit
method draw_spaces : SourceView2Enums.source_draw_spaces_flags list
method set_draw_spaces : SourceView2Enums.source_draw_spaces_flags list -> unit
method get_mark_category_priority : category:string -> int
method set_mark_category_priority : category:string -> int -> unit
method get_mark_category_pixbuf : category:string -> GdkPixbuf.pixbuf option
method set_mark_category_pixbuf : category:string -> GdkPixbuf.pixbuf option -> unit
method get_mark_category_background : category:string -> Gdk.color option
method set_mark_category_background : category:string -> Gdk.color option -> unit