let filetree_decorate main_ui = 
  main_ui#file_tree#append_pixbuf_column
    ~title:"Scope"
    (fun globs -> 
      let is_hilighted = function
        | GFun ({svar = v }, _) ->
          Kf_containing_highlighted_stmt.mem (Globals.Functions.get v)
        |  _ -> false
      in
      let id =
          (* lazyness of && is used for efficiency *)
        if (Kf_containing_highlighted_stmt.length () <> 0)
          && List.exists is_hilighted globs 
        then "gtk-apply"
        else ""
      in
      [ `STOCK_ID id ])
    (fun _ -> Kf_containing_highlighted_stmt.length () <>0)