Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
protected IResource[] focusResources;
	private TableViewer viewer;
	private MarkerFilter filter;
	private Clipboard clipboard;
	
	protected ActionCopyMarker copyAction;
	protected ActionPasteMarker pasteAction;
	protected SelectionProviderAction revealAction;
	protected SelectionProviderAction openAction;
	protected SelectionProviderAction showInNavigatorAction;
	protected SelectionProviderAction deleteAction;
	protected SelectionProviderAction selectAllAction;
	protected SelectionProviderAction propertiesAction;	
	
	protected Composite compositeMarkerLimitExceeded;
	protected StackLayout stackLayout = new StackLayout();
	private IItemsChangedListener itemsListener = new IItemsChangedListener() {
		public void itemsChanged(List additions, List removals, List changes) {
			MarkerView.this.itemsChanged(additions, removals, changes);
		}
	};
	private ISelectionListener focusListener = new ISelectionListener() {
		public void selectionChanged(IWorkbenchPart part, ISelection selection) {
			MarkerView.this.focusSelectionChanged(part, selection);
		}
	};
	
	/* (non-Javadoc)
	 * @see org.eclipse.ui.views.internal.tableview.TableView#init(org.eclipse.ui.IViewSite, org.eclipse.ui.IMemento)
	 */