let file_tree_decorate (file_tree:Filetree.t) =
file_tree#append_pixbuf_column
"Occurrence"
(fun globs ->
match !Db.Occurrence.get_last_result () with
| None ->
[`STOCK_ID ""]
| Some (result, _) ->
let in_globals globs (ki,_) =
let kf = Globals.Functions.find_englobing_kf ki in
match kf with
| None -> false
| Some kf ->
let {vid=v0} = Kernel_function.get_vi kf in
List.exists
(fun glob -> match glob with
| GFun ({svar ={vid=v1}},_ ) -> v1=v0
| _ -> false)
globs
in
if List.exists (in_globals globs) result then [`STOCK_ID "gtk-yes"]
else [`STOCK_ID ""])