Class OgtkSourceView3Props.source_view_props
method set_auto_indent : < auto_indent : bool; highlight_current_line : bool; indent_on_tab : bool; indent_width : int; insert_spaces_instead_of_tabs : bool; right_margin_position : int; set_auto_indent : bool -> unit; set_highlight_current_line : bool -> unit; set_indent_on_tab : bool -> unit; set_indent_width : int -> unit; set_insert_spaces_instead_of_tabs : bool -> unit; set_right_margin_position : int -> unit; set_show_line_marks : bool -> unit; set_show_line_numbers : bool -> unit; set_show_right_margin : bool -> unit; set_smart_home_end : SourceView3Enums.source_smart_home_end_type -> unit; set_tab_width : int -> unit; show_line_marks : bool; show_line_numbers : bool; show_right_margin : bool; smart_home_end : SourceView3Enums.source_smart_home_end_type; tab_width : int; .. > -> bool -> unitmethod set_highlight_current_line : 'a -> bool -> unitmethod set_indent_on_tab : 'a -> bool -> unitmethod set_indent_width : 'a -> int -> unitmethod set_insert_spaces_instead_of_tabs : 'a -> bool -> unitmethod set_right_margin_position : 'a -> int -> unitmethod set_show_line_marks : 'a -> bool -> unitmethod set_show_line_numbers : 'a -> bool -> unitmethod set_show_right_margin : 'a -> bool -> unitmethod set_tab_width : 'a -> int -> unitmethod auto_indent : 'a -> boolmethod highlight_current_line : 'a -> boolmethod indent_on_tab : 'a -> boolmethod indent_width : 'a -> intmethod insert_spaces_instead_of_tabs : 'a -> boolmethod right_margin_position : 'a -> intmethod show_line_marks : 'a -> boolmethod show_line_numbers : 'a -> boolmethod show_right_margin : 'a -> boolmethod tab_width : 'a -> int