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