When in a particular workspace (17.0.216), it is not possible (as far as I can tell) to reload that workspace. You can only load a different workspace. It seems that the trigger for loading a workspace is the change of the selected workspace on the dropdown. This has only been an issue when there is an issue loading a workspace, and I stop the load. But then when I want to restart the load, or reload, there seems to be no way to do that. If there is, please let me know what it is.
When I've wanted to do that, I just click <No workspace selected> in the dropdown, then re-select the workspace that I want.
That does work. I thought I had tried that, but I guess not. Thanks for the quick help!!