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/MarkerAdapter.java
(Comparator) sorter, markerLimit, mon);
				if (monitor.isCanceled())
					return;
				sorter.sort(view.getViewer(), lastMarkers.toArray());
			}
			if (lastMarkers.getSize() == 0) {
				monitor.done();
				return;
			}
			monitor.subTask(MarkerMessages.MarkerView_queueing_updates);
			if (isShowingHierarchy()) {
				categories = buildHierarchy(lastMarkers, 0, lastMarkers
						.getSize() - 1, 0);
			}
			if (monitor.isCanceled())
				return;
			monitor.done();
		} finally {
			building = false;
		}
	}
	/**
	 * Return whether or not a hierarchy is showing.
	 * 
	 * @return boolean
	 */
	private boolean isShowingHierarchy() {
		ViewerSorter sorter = view.getViewer().getSorter();
		if (sorter instanceof CategorySorter)
			return ((CategorySorter) sorter).getCategoryField() != null;