let gui_annot_action (main_ui:Design.main_window_extension_points) txt =
  if SlicingParameters.verbose_atleast 2 then
    let tag_style_italic =
      Gtk_helper.make_tag
        main_ui#annot_window#buffer
        ~name:"slicing:style italic"
        [`STYLE `ITALIC]
    in
    main_ui#annot_window#buffer#insert
      ~tags:[tag_style_italic]
      ((txt ())^"\n")