Class OgtkSourceView3Props.source_view_propsSource

val virtual obj : [> `sourceview ] Gobject.obj
method set_auto_indent : bool -> unit
method set_highlight_current_line : bool -> 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_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 : SourceView3Enums.source_smart_home_end_type -> unit
method set_tab_width : int -> unit
method auto_indent : bool
method highlight_current_line : bool
method indent_on_tab : bool
method indent_width : int
method insert_spaces_instead_of_tabs : bool
method right_margin_position : int
method show_line_marks : bool
method show_line_numbers : bool
method show_right_margin : bool
method tab_width : int