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