SourceView.Pval auto_indent : ([> `sourceview ], bool) Gobject.propertyval highlight_current_line : ([> `sourceview ], bool) Gobject.propertyval indent_on_tab : ([> `sourceview ], bool) Gobject.propertyval indent_width : ([> `sourceview ], int) Gobject.propertyval insert_spaces_instead_of_tabs : ([> `sourceview ], bool) Gobject.propertyval right_margin_position : ([> `sourceview ], int) Gobject.propertyval show_line_marks : ([> `sourceview ], bool) Gobject.propertyval show_line_numbers : ([> `sourceview ], bool) Gobject.propertyval show_right_margin : ([> `sourceview ], bool) Gobject.propertyval smart_home_end : ([> `sourceview ], SourceView3Enums.source_smart_home_end_type) Gobject.propertyval tab_width : ([> `sourceview ], int) Gobject.property