Bug 125205 Problems view grouping: Rename 'Category' to 'Marker type'
I20060124-1115 One of the problems view default goups is called 'Categories' (-> Group by Categories) It would be better to more specific here, as all contributed groupings somehow categorize markers What about 'Group by Marker type'?
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/ProblemView.java
IDEWorkbenchPlugin.getDefault().getPluginPreferences().setValue(
					IDEInternalPreferences.PROBLEMS_GROUPING, description);
			problemView.getMarkerAdapter().getCurrentMarkers().clearGroups();
			problemView.getMarkerAdapter().getCategorySorter()
					.setCategoryField(groupingField);
			problemView.refreshViewer();
			getMarkerAdapter().getCategorySorter().saveState(getDialogSettings());
		}
	}
	/**
	 * Return a new instance of the receiver.
	 */
	public ProblemView() {
		super();
		creationTime.setShowing(false);
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.views.markers.internal.MarkerView#dispose()
	 */
	public void dispose() {
		if (resolveMarkerAction != null)
			resolveMarkerAction.dispose();
		PlatformUI.getWorkbench().getActivitySupport().getActivityManager()
				.removeActivityManagerListener(activityManagerListener);
		super.dispose();
	}
	/*
	 * (non-Javadoc)