Fixed a bug that prevented gathering all workspace plugins when one
project was closed.