Minor shortcut amends

issue #1463

- disables some of codemirrors default shortcuts to prevent them clashing
- minor cleanup of shortcut listing

There's probably a lot more improvements I could make here, but this is a start.