let file_tree_decorate (file_tree:Filetree.t) =
show_column :=
file_tree#append_pixbuf_column
~title:"Occurrence"
(fun globs ->
match !Db.Occurrence.get_last_result () with
| None ->
[`STOCK_ID ""]
| Some (result, _) ->
let in_globals (ki,_) =
match ki with
| Kglobal -> false
| Kstmt stmt ->
let kf = Kernel_function.find_englobing_kf stmt in
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 result then [`STOCK_ID "gtk-apply"]
else [`STOCK_ID ""])
(fun () -> Enabled.get ());
!show_column ()