private void MoveIgnoredMarkersToCurrentSnapshot()
{
var snapshot = _buffer.TextSnapshot;
var i = 0;
while (i < _ignoreMarkers.Count)
{
if (_ignoreMarkers[i].Span.Snapshot == snapshot)
{
i++;
continue;
}
var mapped = _ignoreMarkers[i].Span.SafeTranslateTo(snapshot, SpanTrackingMode.EdgeInclusive);
if (mapped.IsValue)
{
_ignoreMarkers[i] = new ExternalEditMarker(_ignoreMarkers[i].ExternalEditKind, mapped.Value);
}
else
{
_ignoreMarkers.RemoveAt(i);
}
i++;
}
}
private bool ShouldIgnore(ExternalEditMarker marker)
{
foreach (var ignore in _ignoreMarkers)
{
if (ignore.Span.OverlapsWith(marker.Span))
{
return(true);
}
}
return(false);
}
private bool ShouldIgnore(ExternalEditMarker marker)
{
foreach ( var ignore in _ignoreMarkers)
{
if (ignore.Span.OverlapsWith(marker.Span))
{
return true;
}
}
return false;
}
private void MoveIgnoredMarkersToCurrentSnapshot()
{
var snapshot = _buffer.TextSnapshot;
var i = 0;
while (i < _ignoreMarkers.Count)
{
if (_ignoreMarkers[i].Span.Snapshot == snapshot)
{
i++;
continue;
}
var mapped = _ignoreMarkers[i].Span.SafeTranslateTo(snapshot, SpanTrackingMode.EdgeInclusive);
if (mapped.IsValue)
{
_ignoreMarkers[i] = new ExternalEditMarker(_ignoreMarkers[i].ExternalEditKind, mapped.Value);
}
else
{
_ignoreMarkers.RemoveAt(i);
}
i++;
}
}
