public void TokenTagsChanged(object sender, TagsChangedEventArgs e)
{
foreach (var span in e.Span.GetSpans(_buffer))
{
TagsChanged(this, new SnapshotSpanEventArgs(span));
}
}
private void TokenTagsChanged(object sender, TagsChangedEventArgs e)
{
ITextBuffer buffer = e.Span.BufferGraph.TopBuffer;
SnapshotSpan span = new(buffer.CurrentSnapshot, 0, buffer.CurrentSnapshot.Length);
TagsChanged?.Invoke(this, new SnapshotSpanEventArgs(span));
}
void _aggregator_TagsChanged(object sender, TagsChangedEventArgs e)
{
var r = sender as ResolverTagger;
if (r != null)
{
ITextSnapshot snap;
Microsoft.Dafny.Program prog;
lock (this) {
snap = r.Snapshot;
prog = r.Program;
}
if (prog != null)
{
if (!ComputeIdentifierRegions(prog, snap))
{
return; // no new regions
}
var chng = TagsChanged;
if (chng != null)
{
NormalizedSnapshotSpanCollection spans = e.Span.GetSpans(_buffer.CurrentSnapshot);
if (spans.Count > 0)
{
SnapshotSpan span = new SnapshotSpan(spans[0].Start, spans[spans.Count - 1].End);
chng(this, new SnapshotSpanEventArgs(span));
}
}
}
}
}
/// <summary>
/// Обработчик события изменения набора тегов.
/// </summary>
/// <param name="sender">Отправитель.</param>
/// <param name="e">Параметр события.</param>
private void MisspellingTagsChanged(object sender, TagsChangedEventArgs e)
{
foreach (var span in e.Span.GetSpans(buffer))
{
RaiseTagsChangedEvent(span.TranslateTo(buffer.CurrentSnapshot, SpanTrackingMode.EdgeExclusive));
}
}
/// <summary>
/// Recheck the changed spans when tags change
/// </summary>
/// <param name="sender">The sender of the event</param>
/// <param name="e">The event arguments</param>
private void AggregatorTagsChanged(object sender, TagsChangedEventArgs e)
{
if (!isClosed)
{
this.AddDirtySpans(e.Span.GetSpans(buffer.CurrentSnapshot));
}
}
void TagAggregator_TagsChanged(object sender, TagsChangedEventArgs e)
{
foreach (var span in e.Span.GetSpans(textBuffer))
{
TagsChanged?.Invoke(this, new SnapshotSpanEventArgs(span));
}
}
private void Ctl_Tags_OnTagsChanged(object sender, TagsChangedEventArgs e)
{
SelectionChanged.Content = e.Items.Aggregate("", (s, item) => $"{s} {item.Text}");
Debug.WriteLine("TagsChanged: " + e.Items.Aggregate("", (s, item) => $"{s} {item.Text}"));
var vm = DataContext as MainWindowViewModel;
vm?.SelectedTagsChanged(e.Items);
}
private void LanguageElementTagsChanged(object sender, TagsChangedEventArgs e)
{
if (this.enabled)
{
foreach (SnapshotSpan span in e.Span.GetSpans(this.textBuffer))
UpdateAfterChange(span);
}
}
void OnTagsChanged(object sender, TagsChangedEventArgs e)
{
EventHandler <TagsChangedEventArgs> handler = this.MarksChanged;
if (handler != null)
{
handler(sender, e);
}
}
void aggregator_TagsChanged(object sender, TagsChangedEventArgs e)
{
textView.VisualElement.Dispatcher.BeginInvoke(new Action(() =>
{
foreach (var span in e.Span.GetSpans(textView.TextSnapshot))
{
RefreshExtent(span);
}
}), DispatcherPriority.Normal);
}
private void OnTagAggregatorTagsChanged(object sender, TagsChangedEventArgs e)
{
_cache.Clear();
var spans = e.Span.GetSpans(_buffer);
foreach (var span in spans)
{
TagsChanged?.Invoke(this, new SnapshotSpanEventArgs(span));
}
}
private void LanguageElementTagsChanged(object sender, TagsChangedEventArgs e)
{
if (this.enabled)
{
foreach (SnapshotSpan span in e.Span.GetSpans(this.textBuffer))
{
UpdateAfterChange(span);
}
}
}
void TagAggregator_TagsChanged(object sender, TagsChangedEventArgs e)
{
if (wpfTextView.IsClosed)
{
return;
}
foreach (var span in e.Span.GetSpans(wpfTextView.TextBuffer.CurrentSnapshot))
{
tagger?.RefreshSpans(new SnapshotSpanEventArgs(span));
}
}
void OnTagsChanged(object sender, TagsChangedEventArgs e)
{
if (this.IsVisible)
{
this.Dispatcher.BeginInvoke(DispatcherPriority.Render, new DispatcherOperationCallback(delegate
{
this.InvalidateVisual();
return(null);
}), null);
}
}
private void OnTagsChanged(object sender, TagsChangedEventArgs e)
{
using (_asyncListener.BeginAsyncOperation(GetType().Name + ".OnTagsChanged.1"))
{
var changedSpan = e.Span;
if (changedSpan == null)
{
return; // nothing changed
}
var needToScheduleUpdate = false;
lock (_invalidatedSpansLock)
{
if (_invalidatedSpans == null)
{
// set invalidated spans
_invalidatedSpans = new List <IMappingSpan> {
changedSpan
};
needToScheduleUpdate = true;
}
else
{
// add to existing invalidated spans
_invalidatedSpans.Add(changedSpan);
}
}
if (needToScheduleUpdate)
{
// schedule an update
_threadingContext.JoinableTaskFactory
.WithPriority(_textView.VisualElement.Dispatcher, DispatcherPriority.Render)
.RunAsync(
async() =>
{
using (
_asyncListener.BeginAsyncOperation(
GetType() + ".OnTagsChanged.2"
)
)
{
await _threadingContext.JoinableTaskFactory.SwitchToMainThreadAsync(
alwaysYield: true
);
UpdateInvalidSpans();
}
}
);
}
}
}
void TagAggregator_TagsChanged(object?sender, TagsChangedEventArgs e)
{
if (ClassificationChanged is null)
{
return;
}
foreach (var span in e.Span.GetSpans(textBuffer))
{
ClassificationChanged?.Invoke(this, new ClassificationChangedEventArgs(span));
}
}
// Keep track of the most recent resolution results.
void _aggregator_TagsChanged(object sender, TagsChangedEventArgs e)
{
var r = sender as ResolverTagger;
if (r != null)
{
lock (this) {
resolver = r;
}
timer.Stop();
timer.Start();
}
}
void _aggregator_TagsChanged(object sender, TagsChangedEventArgs e)
{
var chng = TagsChanged;
if (chng != null)
{
NormalizedSnapshotSpanCollection spans = e.Span.GetSpans(_buffer.CurrentSnapshot);
if (spans.Count > 0)
{
SnapshotSpan span = new SnapshotSpan(spans[0].Start, spans[spans.Count - 1].End);
chng(this, new SnapshotSpanEventArgs(span));
}
}
}
/// <summary>
/// The aggregator tags changed.
/// </summary>
/// <param name="sender">The sender.</param>
/// <param name="e">The <see cref="TagsChangedEventArgs"/>.</param>
private void AggregatorTagsChanged(object sender, TagsChangedEventArgs e)
{
var temp = TagsChanged;
if (temp != null)
{
var spans = e.Span.GetSpans(Buffer.CurrentSnapshot);
if (spans.Count > 0)
{
var span = new SnapshotSpan(spans[0].Start, spans[spans.Count - 1].End);
temp(this, new SnapshotSpanEventArgs(span));
}
}
}
/// <summary>
/// This handler is called when tag aggregator notifies us about tag changes.
/// </summary>
private void OnTagsChanged(object sender, TagsChangedEventArgs e)
{
using (_asyncListener.BeginAsyncOperation(GetType().Name + ".OnTagsChanged.1"))
{
var changedSpan = e.Span;
if (changedSpan == null)
{
return; // nothing changed
}
var needToScheduleUpdate = false;
lock (_invalidatedSpansLock)
{
if (_invalidatedSpans == null)
{
// set invalidated spans
var newInvalidatedSpans = new List <IMappingSpan>();
newInvalidatedSpans.Add(changedSpan);
_invalidatedSpans = newInvalidatedSpans;
needToScheduleUpdate = true;
}
else
{
// add to existing invalidated spans
_invalidatedSpans.Add(changedSpan);
}
}
if (needToScheduleUpdate)
{
// schedule an update
var asyncToken = _asyncListener.BeginAsyncOperation(GetType() + ".OnTagsChanged.2");
_textView.VisualElement.Dispatcher.BeginInvoke(
new System.Action(() =>
{
try
{
UpdateInvalidSpans();
}
finally
{
asyncToken.Dispose();
}
}), DispatcherPriority.Render);
}
}
}
private void LexTagChanged(object sender, TagsChangedEventArgs e)
{
lock (_updateLock)
{
var tempEvent = TagsChanged;
if (tempEvent != null)
{
foreach (var span in e.Span.GetSpans(_buffer))
{
tempEvent(this, new SnapshotSpanEventArgs(span));
}
}
}
}
void _aggregator_TagsChanged(object sender, TagsChangedEventArgs e)
{
var chng = TagsChanged;
if (chng != null)
{
NormalizedSnapshotSpanCollection spans = e.Span.GetSpans(_view.TextBuffer.CurrentSnapshot);
if (spans.Count > 0)
{
SnapshotSpan span = new SnapshotSpan(spans[0].Start, spans[spans.Count - 1].End);
_view.VisualElement.Dispatcher.Invoke(() =>
{
chng(this, new SnapshotSpanEventArgs(span));
});
}
}
}
/// <summary>
/// Recheck the changed spans when tags change
/// </summary>
/// <param name="sender">The sender of the event</param>
/// <param name="e">The event arguments</param>
private void AggregatorTagsChanged(object sender, TagsChangedEventArgs e)
{
if (_isClosed)
{
return;
}
NormalizedSnapshotSpanCollection dirtySpans = e.Span.GetSpans(_buffer.CurrentSnapshot);
if (dirtySpans.Count == 0)
{
return;
}
foreach (var span in dirtySpans)
{
AddDirtySpan(span);
}
}
void NaturalTagsChanged(object sender, TagsChangedEventArgs e)
{
NormalizedSnapshotSpanCollection dirtySpans = e.Span.GetSpans(_buffer.CurrentSnapshot);
if (dirtySpans.Count == 0)
{
return;
}
SnapshotSpan dirtySpan = new SnapshotSpan(_buffer.CurrentSnapshot, dirtySpans[0].Start, dirtySpans[dirtySpans.Count - 1].End);
AddDirtySpan(dirtySpan);
var temp = TagsChanged;
if (temp != null)
{
temp(this, new SnapshotSpanEventArgs(dirtySpan));
}
}
private void TagsChangedOnAggregator(object sender, TagsChangedEventArgs e)
{
tagsChanged.Enqueue(e.Span);
NotifyTagChanged(e.Span.AnchorBuffer.CurrentSnapshot);
}
void OnUnderlineTagsChanged(object sender, TagsChangedEventArgs e) {
ClassificationChanged?.Invoke(this, new ClassificationChangedEventArgs(e.Span.GetSpans(TextBuffer)[0]));
}
private void HandleDataTagsChanged(object sender, TagsChangedEventArgs args)
{
var changedSpans = args.Span.GetSpans(view.TextBuffer.CurrentSnapshot);
InvalidateSpans(changedSpans);
}
void TagAggregator_TagsChanged(object sender, TagsChangedEventArgs e) => SequenceChanged?.Invoke(this, new TextAndAdornmentSequenceChangedEventArgs(e.Span));
void Tags_TagsChanged(object sender, TagsChangedEventArgs e)
{
TagsListBox.ItemsSource = Push.Instance.Tags.AllTags;
}
private void OnTagsChanged(object sender, TagsChangedEventArgs e)
{
var snapshotSpan = e.Span.GetSnapshotSpan();//Extension method
InvokeTagsChanged(sender, new SnapshotSpanEventArgs(snapshotSpan));
}
private void LexTagChanged(object sender, TagsChangedEventArgs e)
{
Update();
}
private void OnAggregatorTagsChanged(object sender, TagsChangedEventArgs e)
{
}
private void HandleDataTagsChanged(object sender, TagsChangedEventArgs args)
{
NormalizedSnapshotSpanCollection changedSpans = args.Span.GetSpans(View.TextBuffer.CurrentSnapshot);
InvalidateSpans(changedSpans);
}
private void OnTagsChanged(object sender, TagsChangedEventArgs e)
{
TagsChanged?.Invoke(sender, new SnapshotSpanEventArgs(e.Span.GetSnapshotSpan()));
}
