let find_occurrence (main_ui:Design.main_window_extension_points) vi () =
  ignore (!Db.Occurrence.get vi);
  Enabled.set true;
  main_ui#rehighlight ()