let gui_apply_action (main_ui:Design.main_window_extension_points) f x ~info = f x ; gui_annot_action main_ui info