Project: Eclipse_Platform_UI
Bug 27140 [View Mgmt] F12 should dismiss fast view even if no editors open
Reported: 2002-11-25 22:00:36 | Status: resolved fixed

build I20021119 F12 can be used to dismiss a fast view when an editor is open, since it activates the editor. It should also dismiss a fast view even if no editors are open.

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