Bug 114569 [Markers] Use Ctrl+1 as binding for Quick Fix in problems view
Build: I20051101-0010 Ctrl+1 is the key binding for quick fix in editors. Since there is now a Quick Fix action in the probles view, it would make sense to use the same key binding (or bind a handler to the same command). Currently there is no key binding for Quick Fix in the problems view.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
if (newElements == null || newElements.length < 1) {
				continue;
			}
			if (oldElements == null || oldElements.length < 1) {
				return true;
			}
			if (Arrays.equals(oldElements, newElements)) {
				continue;
			}
			if (onResource == MarkerFilter.ON_ANY_IN_SAME_CONTAINER) {
				Collection oldProjects = MarkerFilter
						.getProjectsAsCollection(oldElements);
				Collection newProjects = MarkerFilter
						.getProjectsAsCollection(newElements);
				if (oldProjects.size() == newProjects.size()) {
					if (newProjects.containsAll(oldProjects)) {
						continue;
					}
				}
				return true;
			}
			updateNeeded = true;
			
		}
		return updateNeeded;
	}
	void updateTitle() {
		String status = Util.EMPTY_STRING;
		int filteredCount = getCurrentMarkers().getItemCount();
		int totalCount = getTotalMarkers();