Tuesday, July 26, 2005

How To Remove An Obsolet Workspace From Eclipse 3.1

Sometimes you would like to remove an obsolet workspace from Eclipse. Suppose you have made a test workspace to try some things out and now you don't wont and don't need it anymore.

If you remove the workspace from your disk, it'll still appear in the workspace launcher, when you start up Eclipse.

So, how do you get rid of it?

Ecplise is storing the workspace information in a preferences file called "org.eclipse.ui.ide.prefs". This file is located under "%ECLIPSE_HOME%\configuration\.settings" and contains a key named "RECENT_WORKSPACES". The value of this key contains a comma seperated list of workspaces, more precisely the path to the workspaces. If you delete one of the entries, it'll disappear from the workspace launcher.

What you have to do is the following:
  • exit Eclipse
  • delete the workspace from your disk
  • delete the path pointing to your obsolet workspace in the mentioned preferences file
  • start Eclipse
You shouldn't see the workspace anymore in your workspace launcher :-)

Friday, July 22, 2005

German translation of eclipse-tutorial.dev.java.net

The first german translation of eclipse-tutorial.dev.java.net is done. I figured out, that it's not that easy to translate tutorials :-)

Open Source Java Applikationen entwickeln mit java.net und Eclipse

Let me know, if there are some terrible translation mistakes!

Enjoy! :-)