Module Design.Feedback

module Feedback: sig .. end
Bullets in left-margins
Since Nitrogen-20111001

val declare_markers : GSourceView.source_view -> unit
Declares 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.
Since Chlorine-20180501
val mark : GSourceView.source_buffer ->
?call_site:Cil_types.stmt -> offset:int -> Property_status.Feedback.t -> unit
offset 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.