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)