SourceBuffer.Pval can_redo : ([> `sourcebuffer ], bool) Gobject.propertyval can_undo : ([> `sourcebuffer ], bool) Gobject.propertyval highlight_matching_brackets : ([> `sourcebuffer ], bool) Gobject.propertyval highlight_syntax : ([> `sourcebuffer ], bool) Gobject.propertyval language : ([> `sourcebuffer ], GtkSourceView3_types.source_language Gobject.obj option) Gobject.propertyval max_undo_levels : ([> `sourcebuffer ], int) Gobject.propertyval style_scheme : ([> `sourcebuffer ], GtkSourceView3_types.source_style_scheme Gobject.obj option) Gobject.propertyval undo_manager : ([> `sourcebuffer ], GtkSourceView3_types.source_undo_manager Gobject.obj) Gobject.property