Meets #7531: Projects menu not visible if there are no projects

* `#7531` Projects menu not visible if there are no projects