Project: Eclipse_Platform_UI
Bug 22902 [Navigator] F5 and Ctrl+F5 both refresh
Reported: 2002-08-27 13:32:32 | Status: resolved fixed


Files changed in fix:
bundles/org.eclipse.ui.views/src/org/eclipse/ui/views/navigator/WorkspaceActionGroup.java bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/actions/RefreshAction.java