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/ProblemView.java
.getRegisteredFilters().iterator();
		while (filters.hasNext()) {
			MarkerFilter filter = (MarkerFilter) filters.next();
			IMemento child = memento.createChild(TAG_SYSTEM_FILTER_ENTRY,
					filter.getName());
			child.putString(MarkerFilter.TAG_ENABLED, String.valueOf(filter
					.isEnabled()));
		}
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.views.markers.internal.MarkerView#restoreFilters(org.eclipse.ui.IMemento)
	 */
	void restoreFilters(IMemento memento) {
		super.restoreFilters(memento);
		if (memento == null)
			return;
		IMemento[] sections = memento.getChildren(TAG_SYSTEM_FILTER_ENTRY);
		Collection registered = MarkerSupportRegistry.getInstance()
				.getRegisteredFilters();
		MarkerFilter[] filters = new MarkerFilter[registered.size()];
		registered.toArray(filters);
		if (sections != null) {
			for (int i = 0; i < sections.length; i++) {
				String filterName = sections[i].getID();
				boolean enabled = Boolean.valueOf(
						sections[i].getString(MarkerFilter.TAG_ENABLED))
						.booleanValue();
				setEnablement(filterName, enabled, filters);