let gui_annot_action (main_ui:Design.main_window_extension_points) txt =
  if (SlicingParameters.Verbose.get () >= 0) then
    begin
      let tag_style_italic = Gtk_helper.make_tag main_ui#annot_window#buffer ~name:"slicing:style italic" [`STYLE `ITALICin
        main_ui#annot_window#buffer#insert ~tags:[tag_style_italic] ((txt ()) ^ "\n")
    end