void GlyphTextMarkerServiceImpl_MarkerRemoved(object sender, GlyphTextMarkerRemovedEventArgs e)
{
if (TextView.IsClosed)
{
return;
}
bool removed = markerAndSpanCollection.Remove(e.Marker);
Debug.Assert(removed == e.Marker.TextViewFilter(TextView));
if (removed)
{
Refresh(e.Marker);
glyphTextMarkerListener?.OnRemoved(new[] { e.Marker });
}
}
void GlyphTextMarkerServiceImpl_MarkerRemoved(object sender, GlyphTextMarkerRemovedEventArgs e) {
if (TextView.IsClosed)
return;
bool removed = markerAndSpanCollection.Remove(e.Marker);
Debug.Assert(removed == e.Marker.TextViewFilter(TextView));
if (removed) {
Refresh(e.Marker);
glyphTextMarkerListener?.OnRemoved(new[] { e.Marker });
}
}
