Hi editfish.
Both suggestions are great. Current Workspace selection method (drop-down box) is not good. The real problem begins when you have Workspaces repeating names.
So yes, your suggestion is not only good, it is a must. As soon as we get into this, it will be vastly improved. I think it will probably be something closer to the first alternative, to allow the use of typing. You can't beat typing.