* Listens for search results selection event. These events should occur on the EDT
* but I check to make sure.
*/
public void onApplicationEvent(ApplicationEvent event) {
if(event instanceof SearchResultsSelectionEvent){
final SearchResultsSelectionEvent selectionEvent = (SearchResultsSelectionEvent)event;
if(SwingUtilities.isEventDispatchThread()){
updateView(selectionEvent);
}
else{
SwingUtilities.invokeLater(new Runnable(){