Frama-C API - Feedback
Bullets in left-margins
val declare_markers : GSourceView.source_view -> unitDeclares the icons used for the property status bullets, as marks in the left-margin of the source buffer. These icons depend on the GUI theme, and must be reset when the theme is changed.
val mark : GSourceView.source_buffer -> ?call_site:Frama_c_kernel.Cil_types.stmt -> offset:int -> Frama_c_kernel.Property_status.Feedback.t -> unitoffset is the offset of the character in the source buffer. The mark is put in the left-margin of the line corresponding to said character. call_site is the statement marked, if it is a call.