let impact_highlighter buffer loc ~start ~stop =
if Enabled.get () then
let tag name color =
let t = make_tag buffer name [`BACKGROUND color ] in
apply_tag buffer t start stop
in
let hilight s =
if HighlightedStmtState.mem s then
tag "hilighed_impact" "green"
else
SelectedStmt.may
(fun sel -> if Cil_datatype.Stmt.equal sel s then
tag "selected_impact" "cyan")
in
apply_on_stmt hilight loc