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
e), StatusManager.SHOW);
				else
					StatusManager.getManager().handle(status,
							StatusManager.SHOW);
			}
		}
	}
	private CachedMarkerBuilder builder;
	Collection categoriesToExpand;
	private Clipboard clipboard;
	Collection preservedSelection = new ArrayList();
	private Job updateJob;
	private MarkersTreeViewer viewer;
	private IPropertyChangeListener preferenceListener;
	private ISelectionListener pageSelectionListener;
	private IPartListener2 partListener;
	private IMemento memento;
	private String[] defaultGeneratorIds = new String[0];
	/**
	 * Return a new instance of the receiver.
	 * 
	 * @param contentGeneratorId
	 *            the id of the generator to load.
	 */
	public ExtendedMarkersView(String contentGeneratorId) {
		super();
		instanceCount++;
		defaultGeneratorIds = new String[] { contentGeneratorId };
		preferenceListener = new IPropertyChangeListener() {
			/*