The docs for set_close_button_callback (and in the OSX section) claim that it's called not only when the user presses the close button, but also when the user selects Quit from the application menu (Command-Q). This is like a good idea, but it doesn't work. My game quits nicely when I click the close button, but Quit is greyed out in the menu, and Command-Q does nothing.