Function handleCharBinding

static/editor.md/lib/codemirror/lib/codemirror.js:3993–3996

(cm, e, ch)

  // Handle a key from the keypress event
  function handleCharBinding(cm, e, ch) {
    return dispatchKey(cm, "'" + ch + "'", e,
                       function(b) { return doHandleBinding(cm, b, true); });
  }

  var lastStoppedKey = null;
  function onKeyDown(e) {