Class OgtkSourceView3Props.source_view_props

val virtual obj : [> `sourceview ] Gobject.obj
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 -> unit
method set_highlight_current_line : < 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 -> unit
method set_indent_on_tab : < 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 -> unit
method set_indent_width : < 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; .. > -> int -> unit
method set_insert_spaces_instead_of_tabs : < 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 -> unit
method set_right_margin_position : < 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; .. > -> int -> unit
method set_show_line_marks : < 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 -> unit
method set_show_line_numbers : < 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 -> unit
method set_show_right_margin : < 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 -> unit
method set_smart_home_end : < 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; .. > -> SourceView3Enums.source_smart_home_end_type -> unit
method set_tab_width : < 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; .. > -> int -> unit
method 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
method highlight_current_line : < 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
method indent_on_tab : < 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
method indent_width : < 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; .. > -> int
method insert_spaces_instead_of_tabs : < 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
method right_margin_position : < 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; .. > -> int
method show_line_marks : < 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
method show_line_numbers : < 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
method show_right_margin : < 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
method smart_home_end : < 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; .. > -> SourceView3Enums.source_smart_home_end_type
method tab_width : < 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; .. > -> int