Function clearCachedMeasurement

tools/pythonauto/static/codemirror/codemirror.js:1030–1033

(cm, line)

  }

  function clearCachedMeasurement(cm, line) {
    var exists = findCachedMeasurement(cm, line);
    if (exists) exists.text = exists.measure = exists.markedSpans = null;
  }

  function measureLine(cm, line) {
    // First look in the cache