Bug 130745 [Markers] Progress message: Queueing viewer updates
Build: I20060228-1207 I saw this message flash by in the status line: "Queueuing viewer updates". 1) I think "queueing" is spelled wrong. Dictionary.com spells it "queuing". 2) This sounds like it should be a system job. A user likely won't even know what a "viewer" is, let alone what viewer is being updated. I actually had no idea what viewer it was referring to.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
}
		} catch (CoreException e) {
			Util.log(e);
			return;
		}
	}
	protected abstract String getStaticContextId();
	/**
	 * Update the focus markers for the supplied elements.
	 * 
	 * @param elements
	 */
	void updateFocusMarkers(Object[] elements) {
		boolean updateNeeded = updateNeeded(focusElements, elements);
		if (updateNeeded) {
			focusElements = elements;
			refreshForFocusUpdate();
		}
	}
	private boolean updateNeeded(Object[] oldElements, Object[] newElements) {
		
		MarkerFilter[] filters = getEnabledFilters();
		boolean updateNeeded = false;
		for (int i = 0; i < filters.length; i++) {
			MarkerFilter filter = filters[i];
			if (!filter.isEnabled()) {
				continue;
			}
			int onResource = filter.getOnResource();
			if (onResource == MarkerFilter.ON_ANY