Thanks. Just tried it, but it doesn’t seem to have an effect, even after restart.
One thing I just realized as well: the image of the workspace I have (when on the laptop screen, not hooked up to the monitor) does not respond when I click on it. To get to the general tab I had to go back to the external monitor because the settings icon did not respond on the laptop screen. It’s like it is an image of the workspace but not a real one. So this may go beyond the size issue!