Module GtkSourceViewProps.SourceView.P


module P: sig .. end

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