public void Remove(ITextMarker marker) { if (marker == null) { return; } TextMarker m = marker as TextMarker; if (markers.Remove(m)) { Redraw(m); m.OnDeleted(); } }
public void Remove(ITextMarker marker) { if (marker == null) { throw new ArgumentNullException("marker"); } var m = marker as TextMarker; if (_markers != null && _markers.Remove(m)) { Redraw(m); m.OnDeleted(); } }
public void Remove(ITextMarker marker) { if (marker == null) { throw new ArgumentNullException(nameof(marker)); } var m = marker as TextMarker; if (_markers == null || !_markers.Remove(m)) { return; } Redraw(m); m?.OnDeleted(); }
internal void RemoveFolding(FoldingSection fs) { document.VerifyAccess(); foldings.Remove(fs); textView.Redraw(); }
internal void Remove(TextMarker marker) { markers.Remove(marker); Redraw(marker); }