Changing workspace names

[win8linux]

The new workspace implementation does not have a way to change names, not in the settings nor even while creating a new workspace. If there is one, I'd like to know where and maybe turn this into a UX issue afterwards.

[win8linux]

It turns out that there is a way to rename workspaces, however you need to turn on Manage Workspace on Browser Manager Sidebar, then right-click on a workspace. There should be an alternate way to change workspace names for people who do not manage workspaces via the sidebar, which at the moment is the default when enabling workspaces. Additionally, upon creating workspaces there should be a prompt to enter a name first.

[CutterKnife]

Right-click on the workspace and select "Rename Workspace". This is also the same in the toolbar popup.