let file_tree_decorate (file_tree:Filetree.t) =
file_tree#append_pixbuf_column
"Impact"
(fun globs ->
let is_hilighted = function
| GFun ({svar = v }, _) ->
Highlighted_stmt.mem_kf (Globals.Functions.get v)
| _ -> false
in
let id =
(* lazyness of && is used for efficiency *)
if Enabled.get () && List.exists is_hilighted globs then "gtk-apply"
else ""
in
[ `STOCK_ID id ])