let reset (main_ui:Design.main_window_extension_points) =
Globals.Functions.iter
(fun kf ->
try
let vi = Kernel_function.get_vi kf in
main_ui#file_tree#set_global_attribute
~strikethrough:(Value.is_computed () && not (!Value.is_called kf))
vi
with Not_found -> ())