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