I cannot find the "Check Syntax" button mentioned in the docs. The interface to DrRacket that I see is:
sorawee
2
It's the leftmost button among the right-aligned buttons in the toolbar (the one with a check mark).
It should show you the label "Check Syntax" if you resize the window to have more width.
Yours doesn't have enough width, so the label is hidden.
Thanks for this. I'll put it in my "gotchas" file.