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
refreshFilterMenu();
		refreshViewer();
	}
	/**
	 * Write the filter settings to the memento.
	 * 
	 * @param memento
	 */
	protected void writeFiltersSettings(XMLMemento memento) {
		MarkerFilter[] filters = getUserFilters();
		for (int i = 0; i < filters.length; i++) {
			IMemento child = memento.createChild(TAG_FILTER_ENTRY, filters[i]
					.getName());
			filters[i].saveFilterSettings(child);
		}
	}
	/**
	 * Get the name of the filters preference for instances of the receiver.
	 * 
	 * @return String
	 */
	abstract String getFiltersPreferenceName();
	/**
	 * Restore the filters from the mimento.
	 * 
	 * @param memento
	 */
	void restoreFilters(IMemento memento) {
		IMemento[] sections = null;
		if (memento != null) {