Previously, we'd only close an empty workspace when we moved away from it. Now we also close it when the last client exits, as long as that workspace is not visible anymore.