[frontend] Adjust program kill shortcut.

This should fix issue #114.