Function contextMenuInGutter

tools/pythonauto/static/codemirrorepl/codemirror.js:3171–3174

(cm, e)

  }

  function contextMenuInGutter(cm, e) {
    if (!hasHandler(cm, "gutterContextMenu")) return false;
    return gutterEvent(cm, e, "gutterContextMenu", false, signal);
  }

  // UPDATING