let gui_compute_values (main_ui:Design.main_window_extension_points) =
if not (Db.Value.is_computed ()) then begin
let tag_style_oblique =
Gtk_helper.make_tag main_ui#annot_window#buffer
~name:"slicing:style oblique" [`STYLE `OBLIQUE ; ]
in
main_ui#annot_window#buffer#insert
"[Slicing] activation requires an execution of a ";
main_ui#annot_window#buffer#insert
~tags:[tag_style_oblique] "value analysis";
main_ui#annot_window#buffer#insert ". Selects ";
main_ui#annot_window#buffer#insert ~tags:[tag_style_oblique] "-val";
main_ui#annot_window#buffer#insert
" option and sets parameters before pushing " ;
main_ui#annot_window#buffer#insert ~tags:[tag_style_oblique] "Execute" ;
main_ui#annot_window#buffer#insert " button.\n" ;
main_ui#launcher ()
end