How do I rename a project?

So, uhh, I want to rename my project, but I don't know how to. Can you help me please?

Just save it under a different name (shift-control-S in the editor) and then delete the old one.

(We know that's a kludge, but a while ago there was a bug wherein people's projects would sometimes disappeared when renamed, so we disabled that until it's fixed, which will be when we rewrite the back end file server.)

This topic was automatically closed 30 days after the last reply. New replies are no longer allowed.