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
protected void regenerateLayout() {
		TableLayout layout = new TableLayout();
		getViewer().getTree().setLayout(layout);
		ColumnLayoutData[] columnWidths = getDefaultColumnLayouts();
		for (int i = 0; i < columnWidths.length; i++) {
			layout.addColumnData(columnWidths[i]);
		}
		getViewer().getTree().layout(true);
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.views.markers.internal.TableView#setSorter(org.eclipse.ui.views.markers.internal.TableSorter)
	 */
	void setSorter(TableSorter sorter2) {
		getMarkerAdapter().getCategorySorter().setTableSorter(sorter2);
		getMarkerAdapter().getCategorySorter().saveState(getDialogSettings());
		refreshViewer();
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.views.markers.internal.MarkerView#getTableSorter()
	 */
	public TableSorter getTableSorter() {
		return ((CategorySorter) getViewer().getSorter()).innerSorter;
	}
	/*
	 * (non-Javadoc)
	 *