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.