Function e_target

static/js/codemirror/codemirror.js:4834–4834

(e)

  CodeMirror.e_stopPropagation = e_stopPropagation;

  function e_target(e) {return e.target || e.srcElement;}
  function e_button(e) {
    var b = e.which;
    if (b == null) {