Bug 213040 [Markers] Selected filters not being kept on restart
When I select "Warnings on Selection" and then restart it is not selected when I come back in. We need to retain these selections. Note this is only a problem when selecting from the menu - from the dialog works fine.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/MarkerContentGenerator.java
}
		group.setEnabled(true);
		enabled.add(group);
	}
	/**
	 * Update the focus resources from list. If there is an update required
	 * return <code>true</code>. This method assumes that there are filters
	 * on resources enabled.
	 * 
	 * @param elements
	 */
	void updateFocusElements(Object[] elements) {
		Collection resourceCollection = new ArrayList();
		for (int i = 0; i < elements.length; i++) {
			if (elements[i] instanceof IResource) {
				resourceCollection.add(elements[i]);
			} else {
				addResources(resourceCollection,
						((ResourceMapping) elements[i]));
			}
		}
		focusResources = new IResource[resourceCollection.size()];
		resourceCollection.toArray(focusResources);
	}
	/**
	 * Return whether or not the list contains a resource that will require
	 * regeneration.
	 * 
	 * @return boolean <code>true</code> if regeneration is required.
	 */