ajaxorg/cloud9 — pull request #2319 by mattpardee (2012-10-14 20:40:28+00:00)
Title: Uses F5 to stop the app if currently running

This implements the improvement suggestion from #764, to stop the application if currently running when you press F5.

In other words, Shift+F5 is superfluous; the user knows whether their app is running or not.