class source_view : GtkSourceView_types.source_view Gtk.obj -> object .. end
Inherits
val obj : GtkSourceView_types.source_view Gtk.obj
method connect : source_view_signals
method source_buffer : source_buffer
method set_show_line_numbers : bool -> unit
method show_line_numbers : bool
method set_show_line_markers : bool -> unit
method show_line_markers : bool
method set_highlight_current_line : bool -> unit
method highlight_current_line : bool
method set_tabs_width : int -> unit
method tabs_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_show_margin : bool -> unit
method show_margin : bool
method set_margin : int -> unit
method margin : int
method set_marker_pixbuf : string -> GdkPixbuf.pixbuf -> unit
method marker_pixbuf : string -> GdkPixbuf.pixbuf
method set_smart_home_end : bool -> unit
method smart_home_end : bool
method set_cursor_color : Gdk.color -> unit
method set_cursor_color_by_name : string -> unit