Function clickInGutter

tools/pythonauto/static/codemirrorepl/codemirror.js:2740–2742

(cm, e)

  }

  function clickInGutter(cm, e) {
    return gutterEvent(cm, e, "gutterClick", true, signalLater);
  }

  // Kludge to work around strange IE behavior where it'll sometimes
  // re-fire a series of drag-related events right after the drop (#1551)