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 ())