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
int index = userFilters.length;
		while (iterator.hasNext()) {
			allFilters[index] = (MarkerFilter) iterator.next();
			index++;
		}
		return allFilters;
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.views.markers.internal.MarkerView#addDropDownContributions(org.eclipse.jface.action.IMenuManager)
	 */
	void addDropDownContributions(IMenuManager menu) {
		MenuManager groupByMenu = new MenuManager(MarkerMessages.ProblemView_GroupByMenu);
		groupByMenu.add(new GroupingAction(MarkerMessages.ProblemView_Category, new FieldCategory(), this));
		
		Iterator definedGroups = MarkerSupportRegistry.getInstance().getMarkerGroups().iterator();
		
		while(definedGroups.hasNext()){
			FieldMarkerGroup group = (FieldMarkerGroup) definedGroups.next();
			groupByMenu.add(new GroupingAction(group.getDescription(),group,this));
		}
		
		groupByMenu.add(new GroupingAction(MarkerMessages.ProblemView_None, null, this));
		menu.add(groupByMenu);
		super.addDropDownContributions(menu);
	}
	/**
	 * Resize the category column in the table.
	 */