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