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