However, by itself this will do nothing; swapWith does not change
the actual workspaces in any way. It simply keeps track of an
auxiliary ordering on workspaces. Anything which cares about the
order of workspaces must be updated to use the auxiliary ordering.