Function e_preventDefault

tools/pythonauto/static/codemirror/codemirror.js:5470–5473

(e)

  }

  function e_preventDefault(e) {
    if (e.preventDefault) e.preventDefault();
    else e.returnValue = false;
  }
  function e_stopPropagation(e) {
    if (e.stopPropagation) e.stopPropagation();
    else e.cancelBubble = true;