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