I cannot find the "Check Syntax" button mentioned in the docs. The interface to DrRacket that I see is:
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.
              
              
              1 Like
            
            
          Thanks for this. I'll put it in my "gotchas" file.
              
              
              1 Like
            
            
          

