tags:

views:

2054

answers:

3

Title says it all...

+5  A: 

Just delete the whole directory.

If you want to not make Eclipse suggest that old workspace, you'll need to edit the org.eclipse.ui.ide.prefs file in the configuration/.settings directory under your installation directory (or in ~/.eclipse on Unix, IIRC).

Jon Skeet
A: 

The workspace is just a directory, so you can just delete the directory and you should be set.

Buddy
+3  A: 

Its possible to remove the workspace in eclipse without much complications. The options are available under Preferences->General->Startup and Shutdown->Workspaces.

Equinox
I found that the workspace disappears from the "File -> Switch Workspace" list the next time you open Eclipse.
Jan Hettich
+1: While this doesn't actually delete the workspace, it gets rid of it from Eclipse's list of suggested workspaces, which is what I was looking for.
R. Bemrose