let impact_statement_ui (main_ui:Design.main_window_extension_points) s = ignore (!Db.Impact.from_stmt s); !show_column (); main_ui#rehighlight ()