Workspace switcher
The trigger shows the current workspace; the list pops out beneath it. Pick one and the mark and name in the trigger swap through a blur while the tick slides to the new row.
Workspace switcher is part of Pro.
Get Pro to try it live and copy its code, along with every other element in the library.