workbench.displayComponent(p,p.getTitle());
}
else if (src == messageSummary) {
HTMLViewPanel p = new HTMLViewPanel(
ProbeSummarizer.getMessageSummary(probeMaker.project.getProbes()),
new MessageSummaryViewFactory()
);
workbench.displayComponent(p,p.getTitle());
}
}
catch (Throwable ex) {