let check_value (main_ui:Design.main_window_extension_points) =
if Db.Value.is_computed () then true
else
let answer = GToolbox.question_box
~title:("Need Value Analysis")
~buttons:[ "Run"; "Cancel" ]
("Value analysis has to be run first.\nThis can take some time.\n"
^"Do you want to run the value analysis now ?")
in
if answer = 1 then
match main_ui#full_protect ~cancelable:true !Db.Value.compute with
| Some _ -> true
| None -> false
else false