PencilCode/pencilcode-site — pull request #39 by davidbau (2014-03-06 17:00:51+00:00)
Title: Add a stop button.

Turtle animations can now be stopped. When running a program
that supports $.turtle.interrupt, the IDE now polls (every 0.1 sec)
$.turtle.interrupt('test') and shows a stop button when true.

Clicking on the stop button injects an interrupt() call into the
running program, stopping animation.