let gui_compute_values (main_ui:Design.main_window_extension_points) = if not (Db.Value.is_computed ()) then main_ui#launcher ()