public void widgetSelected(SelectionEvent e) {
Set<BugPattern> filtered = FindbugsPlugin.getFilteredPatterns();
Set<BugCode> filteredTypes = FindbugsPlugin.getFilteredPatternTypes();
FilterBugsDialog dialog = new FilterBugsDialog(getShell(), filtered, filteredTypes);
dialog.setTitle("Bug Filter Configuration");
int result = dialog.open();
if (result != Window.OK) {
return;
}
String selectedIds = dialog.getSelectedIds();