Module Design.Feedback

module Feedback: sig .. end

Bullets in left-margins


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.

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.