let gui_annot_info (main_ui:Design.main_window_extension_points) ~level txt = if (SlicingParameters.verbose_atleast level) then begin main_ui#annot_window#buffer#insert ((txt ()) ^ ".\n") end