Workspace rename

Does theia provides current workspace rename functionality

@SParvathy thank you for the discussion, similarly to VS Code I do not see functionality to rename an existing workspace beside possibly using Save Workspace As....

If interested you could implement the command in a custom Theia extension for your application, or perhaps a VS Code plugin which can be consumed in Theia.

Okay thanks for the reply @vince-fugnitto