Better workspace renaming in workspace selector.

Refs #5590
Merge branch 'feature/5590_IDA_support_workspace_refresh' into develop