Frama-C API - reactive_buffer
This is the type of source code buffers that can react to global selections and highlighters.
method buffer : Frama_c_gui.GSourceView.source_buffer
method locs : Frama_c_gui.Pretty_source.Locs.state
reactive_buffer
This is the type of source code buffers that can react to global selections and highlighters.
method buffer : Frama_c_gui.GSourceView.source_buffer
method locs : Frama_c_gui.Pretty_source.Locs.state