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