Comment by kidsil

F10 always worked for me, but some terminals use F10 for some other functionality.

If that fails, you can click on "10 Quit" with the mouse (not ideal, but an immediate solution).