module Feedback:sig..end
val mark : GSourceView2.source_buffer ->
offset:int -> 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.