let gui_annot_action (main_ui:Design.main_window_extension_points) txt =
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")