}
}
String ids = FindBugsConstants.encodeIds(sortedIds);
final IPreferenceStore store = FindbugsPlugin.getDefault().getPreferenceStore();
store.setValue(FindBugsConstants.LAST_USED_EXPORT_FILTER, ids);
BugContentProvider provider = BugContentProvider.getProvider(navigator.getNavigatorContentService());
if (!provider.isBugFilterActive()) {
MessageDialog.openWarning(null, "Toggle Filter", "Filtering by pattern or type id is currently not enabled!\n"
+ "To enable it, please select \"Toggle Filters...->Bugs by Id\" filter!");
}
provider.refreshFilters();
CommonViewer viewer = navigator.getCommonViewer();
Object[] expandedElements = viewer.getExpandedElements();
viewer.refresh(true);
viewer.setExpandedElements(expandedElements);
data = null;