cs136/seashell — pull request #119 by e45lee (2014-09-25 14:28:51+00:00)
Title: [frontend] Adjust program kill shortcut.

This should fix issue #114.