let add_msg (main_ui:Design.main_window_extension_points) txt = main_ui#annot_window#buffer#insert (txt ^ "\n")