Bug 212733 [Markers] Problem view no longer updates when changing the visible marker limit
Version: 3.4.0 Build id: I20071211-0010 By default, the view shows 100 markers. When changing this limit (through marker prefs), the view doesn't update. One need to close/reopen for this to get taken into account. This is a regression.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/ExtendedMarkersView.java
IMarker[] markers = new IMarker[allMarkers.size()];
		allMarkers.toArray(markers);
		return markers;
	}
	/**
	 * Return the group used for categorisation.
	 * 
	 * @return MarkerGroup
	 */
	MarkerGroup getCategoryGroup() {
		return builder.getCategoryGroup();
	}
	/**
	 * Return the clipboard for the receiver.
	 * 
	 * @return Clipboard
	 */
	Clipboard getClipboard() {
		if (clipboard == null)
			clipboard = new Clipboard(viewer.getControl().getDisplay());
		return clipboard;
	}
	/**
	 * Return the generator that is currently showing.
	 * 
	 * @return MarkerContentGenerator
	 */
	MarkerContentGenerator getContentGenerator() {
		return builder.getGenerator();
	}