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
* 
				 * @see org.eclipse.ui.ISelectionListener#selectionChanged(org.eclipse.ui.IWorkbenchPart,
				 *      org.eclipse.jface.viewers.ISelection)
				 */
				public void selectionChanged(IWorkbenchPart part,
						ISelection selection) {
					
					
					if (part == ExtendedMarkersView.this
							|| !(getSite().getPage().isPartVisible(part)))
						return;
					List selectedElements = new ArrayList();
					if (part instanceof IEditorPart) {
						IEditorPart editor = (IEditorPart) part;
						IFile file = ResourceUtil.getFile(editor
								.getEditorInput());
						if (file == null) {
							IEditorInput editorInput = editor.getEditorInput();
							if (editorInput != null) {
								Object mapping = editorInput
										.getAdapter(ResourceMapping.class);
								if (mapping != null) {
									selectedElements.add(mapping);
								}
							}
						} else {
							selectedElements.add(file);
						}
					} else {
						if (selection instanceof IStructuredSelection) {