private void UninitializeSearch()
{
if (_searchService == null)
{
return;
}
if (_searchUpdateSubscription != null)
{
_searchUpdateSubscription.Dispose();
_searchUpdateSubscription = null;
}
_searchResults.Clear();
}
public void Dispose()
{
markers?.Clear();
markers.Disconnect(_document);
markers = null;
_document = null;
}
public void SetTheme(Theme theme)
{
_theme = theme;
_brushes.Clear();
var map = _theme.GetColorMap();
foreach (var color in map)
{
var id = _theme.GetColorId(color);
_brushes[id] = new ImmutableSolidColorBrush(Color.Parse(NormalizeColor(color)));
}
_transformations?.Clear();
}
/// <summary>
/// Removes all folding sections.
/// </summary>
public void Clear()
{
document.VerifyAccess();
foreach (FoldingSection s in foldings)
{
s.IsFolded = false;
}
foldings.Clear();
textView.Redraw();
}
public void ApplyIndex(IEnumerable <IndexEntry> index)
{
markers.Clear();
if (index != null)
{
markers.AddRange(index.Select(s => new TextSegment {
StartOffset = s.StartOffset, EndOffset = s.EndOffset
}));
}
}
public void Clear()
{
var oldMarkers = markers.ToArray();
markers.Clear();
foreach (ErrorTextMarker m in oldMarkers)
{
textEditor.TextArea.TextView.Redraw(m);
}
}
public void Clear()
{
_markers.Clear();
_textEditor.TextArea.TextView.InvalidateLayer(Layer);
}
public void ApplyIndex(List <IndexEntry> index)
{
markers.Clear();
markers.AddRange(index);
}