Does anyone know how to make the list of workspaces longer. The list you
get when you startup Eclipse. At the moment only a list of 5 workspaces is
shown, but I have may more, I'd like to set it to 20. How?
In Eclipse Gui
General -> Startup and Shutdown -> Workspaces
there is an item "Number of recent workspaces to remember"
(as well as a copy of the list that can be edited)