void GlyphTextMarkerServiceImpl_MarkersRemoved(object sender, GlyphTextMarkersRemovedEventArgs e)
{
if (TextView.IsClosed)
{
return;
}
bool removed = markerAndSpanCollection.Remove(e.Markers);
if (!removed)
{
return;
}
glyphTextMarkerListener?.OnRemoved(e.Markers);
if (e.Markers.Count > 10)
{
InvalidateEverything();
}
else
{
foreach (var marker in e.Markers)
{
Refresh(marker);
}
}
}
void GlyphTextMarkerServiceImpl_MarkersRemoved(object sender, GlyphTextMarkersRemovedEventArgs e) {
if (TextView.IsClosed)
return;
bool removed = markerAndSpanCollection.Remove(e.Markers);
if (!removed)
return;
glyphTextMarkerListener?.OnRemoved(e.Markers);
if (e.Markers.Count > 10)
InvalidateEverything();
else {
foreach (var marker in e.Markers)
Refresh(marker);
}
}
