Bug 213486 [Markers] view descriptions wrong when grouped
I20071218-0800. When grouped the view says 'Filter matches 100 of xyz items' but below you see that there are many more items shown as the marker filter is applied per group.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/ExtendedMarkersView.java
}
	/**
	 * Remove the category from the list of expanded ones.
	 * 
	 * @param category
	 */
	void removeExpandedCategory(MarkerCategory category) {
		categoriesToExpand.remove(category.getName());
	}
	/**
	 * Preserve the selection for re-selection after the next update.
	 * 
	 * @param selection
	 */
	void saveSelection(ISelection selection) {
		preservedSelection.clear();
		if (selection instanceof IStructuredSelection) {
			IStructuredSelection structured = (IStructuredSelection) selection;
			Iterator iterator = structured.iterator();
			while (iterator.hasNext()) {
				MarkerItem next = (MarkerItem) iterator.next();
				if (next.isConcrete()) {
					preservedSelection.add(new MarkerSelectionEntry(next));
					categoriesToExpand.add(next.getParent());
				} else
					categoriesToExpand.add(next);
			}
		}
	}
	/*