let file_tree_decorate (file_tree:Filetree.t) =
file_tree#append_pixbuf_column
"Slicing"
(fun globs ->
Extlib.may_map
(fun project ->
if (List.exists
(fun glob -> match glob with
| GFun ({svar = vi},_ ) ->
begin
try
let kf = Globals.Functions.get vi
in (!Db.Slicing.Project.is_called project kf)
|| ( [] != (!Db.Slicing.Slice.get_all project kf))
with Not_found -> false
end
| _ -> false)
globs) then
[`STOCK_ID "gtk-apply"]
else
[`STOCK_ID ""])
~dft:[`STOCK_ID ""]
(!Db.Slicing.Project.get_project ()))