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