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