Frama-C API - `reactive_buffer`

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

inherit Frama_c_gui.Gtk_helper.error_manager

method buffer : Frama_c_gui.GSourceView.source_buffer

method locs : Frama_c_gui.Pretty_source.Locs.state

method rehighlight : unit

method redisplay : unit

Frama-C API - reactive_buffer