Comment 2 for bug 934549

Thank you for reporting the bug. However there is no concept of workspace names. Also what you are suggesting is redundant since you can always just press the workspace icon and proceed to whichever workspace you want.