Project Rename Produces Duplicate

In the IDE, right clicking on the Project node in the Project pane gives an option to "Rename Project ID".

Renaming a Project in the 3e IDE

On the face of it, renaming the Project seems to work as expected. However, if the IDE is refreshed (or closed and reopened), both a Project with the old name and a Project with the new name now exist. This can be seen by pressing the Open... button at the top of the Project pane.

To workaround this, best practice when renaming Projects would be to:

1. Rename the Project.
2. Save the Project.
3. Refresh the IDE (Refresh button next to Logout).
4. Open the Project with the old name.
5. Delete the Project with the old name.
6. Open the Project with the new name.

This avoids a build up of unnecessary, renamed Projects.