class type reactive_buffer =This is the type of source code buffers that can react to global selections and highlightersobject
..end
method buffer : GSourceView.source_buffer
method locs : Pretty_source.Locs.state option
method rehighlight : unit