if (navigator == null) {
return;
}
Set<BugPattern> filtered = FindbugsPlugin.getFilteredPatterns();
Set<BugCode> filteredTypes = FindbugsPlugin.getFilteredPatternTypes();
FilterBugsDialog dialog = new FilterBugsDialog(navigator.getSite().getShell(), filtered, filteredTypes);
dialog.setTitle("Bug Filter Configuration");
int result = dialog.open();
if (result != Window.OK) {
return;
}
String selectedIds = dialog.getSelectedIds();
FindbugsPlugin.getDefault().getPreferenceStore().setValue(FindBugsConstants.LAST_USED_EXPORT_FILTER, selectedIds);
BugContentProvider provider = BugContentProvider.getProvider(navigator.getNavigatorContentService());
provider.refreshFilters();