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