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")