ajaxorg/ace — pull request #1602 by matthewkastor (2013-09-12 05:45:06+00:00)
Title: fix broken demo.

The demo for the keyboard shortcuts menu was broken. I fixed it.