Project: Eclipse_Platform_UI
Bug 216811 [Markers] ExtendedMarkersView#setFocus doesn't
Reported: 2008-01-28 15:15:35 | Status: verified fixed

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...

Files changed in fix:
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java