Bug 216811 [Markers] ExtendedMarkersView#setFocus doesn't
The result is that focus is lost if you drag the view to another stack... The most common implementation seems to be 'viewer.getControl().setFocus()... To test: select an element in the Problems or Tasks view. Drag the view to a new location (could be in an existing stack or a new one) notice that while the view is the active view the arrow keys don't navigate...
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java
}
		return MarkerSupportInternalUtilities.EMPTY_MARKER_ARRAY;
	}
	/**
	 * Return the sort direction.
	 * 
	 * @return boolean
	 */
	public boolean getSortAscending() {
		return viewer.getTree().getSortDirection() == SWT.TOP;
	}
	/**
	 * Return a job for updating the receiver.
	 * 
	 * @return Job
	 */
	private Job getUpdateJob(final CachedMarkerBuilder builder) {
		updateJob = new WorkbenchJob(MarkerMessages.MarkerView_queueing_updates) {
			/*
			 * (non-Javadoc)
			 * 
			 * @see org.eclipse.core.runtime.jobs.Job#belongsTo(java.lang.Object)
			 */
			public boolean belongsTo(Object family) {
				return family == MarkerContentGenerator.CACHE_UPDATE_FAMILY;
			}
			/**
			 * Return the viewer that is being updated.
			 * 
			 * @return TreeViewer