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