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); } }