sig
  val auto_indent : ([> `sourceview ], bool) Gobject.property
  val highlight_current_line : ([> `sourceview ], bool) Gobject.property
  val insert_spaces_instead_of_tabs :
    ([> `sourceview ], bool) Gobject.property
  val margin : ([> `sourceview ], int) Gobject.property
  val show_line_markers : ([> `sourceview ], bool) Gobject.property
  val show_line_numbers : ([> `sourceview ], bool) Gobject.property
  val show_margin : ([> `sourceview ], bool) Gobject.property
  val smart_home_end : ([> `sourceview ], bool) Gobject.property
  val tabs_width : ([> `sourceview ], int) Gobject.property
end