Community
Participate
Working Groups
The new workspace name preference in the 'Workspace' preference page is not in the documentation (/org.eclipse.platform.doc.user/reference/ref-9.htm). The screenshot also needs to be updated.
It seems that functionality was added in the bug 284447.
Paul, I can do this for you.
Fixed in HEAD. Available in I20110526-0800.
Thanx Dani. Verified in I20110526-0800 Help>Help Contents. PW