class type reactive_buffer = object .. end
object
end
Gtk_helper.error_manager
method buffer : GSourceView.source_buffer
GSourceView.source_buffer
method locs : Pretty_source.Locs.state
Pretty_source.Locs.state
method rehighlight : unit
unit
method redisplay : unit