If you wonder how to quit (if started from a terminal):
It's `ESC 0`. Or "exit" like from a shell. Took me some time I have to admit (q, ctrl-c, ctrl-q, F10, ESC all did not work).
If that fails, you can click on "10 Quit" with the mouse (not ideal, but an immediate solution).
If you wonder how to quit (if started from a terminal):
It's `ESC 0`. Or "exit" like from a shell. Took me some time I have to admit (q, ctrl-c, ctrl-q, F10, ESC all did not work).