impossible(?) to kill infinite loop w/ reactor

[shriram]

I wrote an infinite loop of the form

fun main-loop() block:
  play-word(pick-word())
  main-loop()
end

where play-word launches a reactor w/ a to-draw. As soon as the reactor finishes, the loop kicks off a fresh reactor. I have not been able to click Stop in-between. Since the pop-up window masks the rest of the screen, while the reactor is running I can see the Stop window but not click on it.

I've tried to hover over the Stop with the mouse, his Esc, and click really soon, but have not yet succeeded. I'm really not sure what to do here other than kill my window and start again.

[jpolitz]

Hold ESC and click rapidly on Stop.

Good argument for bringing Stop above the overlay, or having ESC mean "Stop" when a big-bang window is open.

[shriram]

Okay, that did the trick. Fortunately, auto-saving had worked too…

I think it's better to bring Stop above than to have Esc mean Stop. Esc should just mean "close this window", not "kill the entire rest of the computation" (which may intentionally involve a series of world windows — imagine a multi-stage game, the user hits Esc, and the whole game stops…).

[jpolitz]

This issue I haven't fixed, and requires moving around some UI components. This was related to #841