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 ])