Zotero>Preferences menu not there

I just taught a Zotero workshop, and at least two students didn't have Preferences as an option under their Zotero menu. They could only see "About"

They are both on Macs, and one has Zotero 7.0 while the other 7.0.6

How should I help them troubleshoot? Should they junk it and reinstall?
Sign In or Register to comment.