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
markerLimit == -1 ? 60 : 100);
			try {
				monitor.subTask(MarkerMessages.MarkerView_waiting_on_changes);
				if (monitor.isCanceled()) {
					return;
				}
				monitor
						.subTask(MarkerMessages.MarkerView_searching_for_markers);
				SubProgressMonitor subMonitor = new SubProgressMonitor(monitor,
						10);
				lastMarkers = MarkerList.compute(view.getEnabledFilters(),
						subMonitor, true);
				if (monitor.isCanceled())
					return;
				view.refreshMarkerCounts(monitor);
			} catch (CoreException e) {
				IDEWorkbenchPlugin.getDefault().getLog().log(e.getStatus());
				lastMarkers = new MarkerList();
				return;
			}
			if (monitor.isCanceled()) {
				return;
			}
			ViewerSorter sorter = view.getViewer().getSorter();
			if (markerLimit == -1) {
				sorter.sort(view.getViewer(), lastMarkers.toArray());
			} else {
				monitor.subTask(MarkerMessages.MarkerView_18);
				SubProgressMonitor mon = new SubProgressMonitor(monitor, 40);
				lastMarkers = SortUtil.getFirst(lastMarkers,