The existing switcher is a menu, so I would suggest that, or an HTML pop-up selection so you can type a few characters to select the workspace.
Many people also tie their workspaces to trigger on keyboard shortcuts too.
There’s no reason you couldn’t have both options, but leverage a single action behind the scenes that does the work for you so you have one thing to maintain.