Eclipse: How do I refresh an entire workspace? F5 doesn't do it

I have a workspace with a bunch of java projects. If I go to File->Refresh, it doesn't really refresh anything (perhaps the currently selected project). How do I get eclipse to refresh all of the projects?

It will indeed only refresh the current project (or, more specifically, the current selection in the project explorer). I just click somewhere in the project explorer, do Ctrl+A to select all projects and then press F5 to achieve a complete refresh.

If you want to refresh all Projects, ignoring closed projects, then the easiest way is to:

• ctrl-click and item in the Project Explorer (to ensure the P. Explorer has focus)
• ctrl-click the item again so that it's no longer highlighted (but the P. Explorer still has focus)
• F5 will now Refresh the entire workspace

Effectively F5 refreshes the Workspace when a navigation view has focus and nothing is selected.