Class OgtkSourceView3Props.source_buffer_props
method set_highlight_matching_brackets : bool -> unit
method set_highlight_syntax : bool -> unit
method set_max_undo_levels : int -> unit
method highlight_matching_brackets : bool
method highlight_syntax : bool
method max_undo_levels : int