Project: Eclipse_Platform_UI
Bug 265157 [EditorMgmt] Ctrl+PageDown in editor area should select next editor also when menu is open
Reported: 2009-02-17 08:59:43 | Status: verified fixed


Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/presentations/AbstractTableInformationControl.java