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
i - 1));
					categoryStart = i;
				}
			}
			previous = elements[i];
		}
		if (end >= categoryStart) {
			categories.add(new MarkerCategory(this, categoryStart, end));
		}
		
		
		
		
		MarkerCategory[] nodes = new MarkerCategory[categories.size()];
		categories.toArray(nodes);
		return nodes;
	}
	/**
	 * Return the current list of markers.
	 * 
	 * @return MarkerList
	 */
	public MarkerList getCurrentMarkers() {
		if (lastMarkers == null) {
			view.scheduleMarkerUpdate();
			building = true;
		}
		if (building)
			return new MarkerList();
		return lastMarkers;