Bug 125202 Problems view grouping: Show number of elements in a group
I20060124-1115 It would be great if a group tree node could show the numbers of elements it contains. So you don't have to expand it to get this information. -> Build Path Problems xxxyyyy uyyuiuu Code Style (8) Documentation (2)
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerMessages.java
public static String priority_description;
	public static String priority_high;
	public static String priority_normal;
	public static String priority_low;
	public static String CopyToClipboardProblemDialog_title;
	public static String CopyToClipboardProblemDialog_message;
	public static String MarkerList_0;
	public static String TableContentProvider_TableSynchronization;
	public static String TableContentProvider_Updating;
	public static String MarkerFilter_searching;
	public static String MarkerView_refreshProgress;
	public static String MarkerView_refreshTitle;
	public static String MarkerView_waiting_on_changes;
	public static String MarkerView_searching_for_markers;
	public static String MarkerView_refreshing_counts;
	public static String MarkerView_queueing_updates;
	public static String MarkerView_processUpdates;
	
	public static String DeferredQueue_setting_contents;
	public static String DeferredQueue_enqueueing_items;
	public static String MarkerView_18;
	public static String MarkerView_19;
	public static String SortUtil_finding_first;
	public static String SortUtil_partitioning;
	public static String OpenMarker_errorTitle;
	public static String PasteMarker_errorTitle;
	public static String RemoveMarker_errorTitle;
	public static String MarkerFilter_defaultFilterName;
	public static String MarkerFilter_newFilterName;
	public static String MarkerFilter_filtersTitle;