Class type Design.reactive_buffer

class type reactive_buffer = object .. end

This is the type of source code buffers that can react to global selections and highlighters.

Inherits
method buffer : GSourceView2.source_buffer
method locs : Pretty_source.Locs.state
method rehighlight : unit
method redisplay : unit