Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rename Workspace Does Not Check Duplicate Name in Other Workspaces #8155

Closed
KarlPalmen opened this issue Jun 18, 2013 · 1 comment
Closed

Rename Workspace Does Not Check Duplicate Name in Other Workspaces #8155

KarlPalmen opened this issue Jun 18, 2013 · 1 comment
Labels
Framework Issues and pull requests related to components in the Framework
Milestone
Release 3.2

Comments

@KarlPalmen
Copy link
Contributor

I find that if I open several workspaces. I then rename one of them so its name is the same as one of the others. That workspace or the one being ranamed vanishes and no error message is given.

Ideally RenameWorkspace and RenameWorkspaces should detect such a situation and refuse to rename and issue an informative error message.
@KarlPalmen
Copy link
Contributor Author

This issue was originally trac ticket 7309

@KarlPalmen KarlPalmen added the Framework Issues and pull requests related to components in the Framework label Jun 3, 2015
@KarlPalmen KarlPalmen added this to the Release 3.2 milestone Jun 3, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Framework Issues and pull requests related to components in the Framework
Projects
None yet
Milestone
Release 3.2
Development

No branches or pull requests
1 participant
@KarlPalmen