Class type Design.reactive_buffer

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

method rehighlight : unit
method redisplay : unit