Pleets / SQLWebManager

    }

    return nw;

  }

  function markedSpansAfter(old, endCh, isInsert) {

    if (old) for (var i = 0, nw; i < old.length; ++i) {

      var span = old[i], marker = span.marker;

      var endsAfter = span.to == null || (marker.inclusiveRight ? span.to >= endCh : span.to > endCh);

      if (endsAfter || span.from == endCh && marker.type == "bookmark" && (!isInsert || span.marker.insertLeft)) {

        var startsBefore = span.from == null || (marker.inclusiveLeft ? span.from <= endCh : span.from < endCh);

        (nw || (nw = [])).push(new MarkedSpan(marker, startsBefore ? null : span.from - endCh,

                                              span.to == null ? null : span.to - endCh));

      }

    }

    return nw;

  }

  // Given a change object, compute the new set of marker spans that

  // cover the line in which the change took place. Removes spans

  // document. These functions cut an array of spans at a given

  // character position, returning an array of remaining chunks (or

  // undefined if nothing remains).

  function markedSpansBefore(old, startCh, isInsert) {

    if (old) for (var i = 0, nw; i < old.length; ++i) {

      var span = old[i], marker = span.marker;

      var startsBefore = span.from == null || (marker.inclusiveLeft ? span.from <= startCh : span.from < startCh);

      if (startsBefore || span.from == startCh && marker.type == "bookmark" && (!isInsert || !span.marker.insertLeft)) {

        var endsAfter = span.to == null || (marker.inclusiveRight ? span.to >= startCh : span.to > startCh);

        (nw || (nw = [])).push(new MarkedSpan(marker, span.from, endsAfter ? null : span.to));

      }

    }

    return nw;

  }

  function markedSpansAfter(old, endCh, isInsert) {

    if (old) for (var i = 0, nw; i < old.length; ++i) {

      var span = old[i], marker = span.marker;