}
else if (src == searchProbes) {
searchProbes();
}
else if (src == probeStatistics) {
HTMLViewPanel p = new HTMLViewPanel(
probeMaker.project.getProbes(),
new ProbeSummaryViewFactory()
);
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) {
platform.handleError(ex.toString(),ex);
}