Bug 230903 [Markers] Problems view > Configure Contents... gray-checks fully selected type categories
I20080502-0100 Problems view > Configure Contents... gray-checks fully selected type categories. Steps: - create new configuration - check API Problems - uncheck API Problems > API Usage Problems - check API Problems > API Usage Problems => expected: API Problems checked again => was: API Problems gray-checked
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/TypesConfigurationArea.java
* and add them to the checked or grey checked lists as appropriate.
	 * 
	 * @param group
	 * @param entries
	 * @param greyEntries
	 */
	private void findTypeEntries(MarkerFieldFilterGroup group,
			Collection entries, Collection greyEntries) {
		Iterator elements = elementsForGroup(group).iterator();
		Collection selectedTypes = ((MarkerTypeFieldFilter) group
				.getFilter(this.getField())).getSelectedTypes();
		while (elements.hasNext()) {
			TypesEntry entry = (TypesEntry) elements.next();
			entry.addElementsMatching(selectedTypes, entries);
			if (entry.hasChildren()) {
				Collection children = entry.getChildren();
				if (entries.containsAll(children))
					entries.add(entry);
				else {
					Iterator iterator = children.iterator();
					while (iterator.hasNext()) {
						if (entries.contains(iterator.next())) {
							greyEntries.add(entry);
							break;
						}
					}
				}
			}
		}
	}