public void ReportTimings(Mono.TextEditor.TextDocument document) { if (count == 0) { // No timings recorded. return; } string extension = document.FileName.Extension; var average = totalTime.TotalMilliseconds / count; var metadata = new TypingTimingMetadata { Average = average, First = firstTime.Value.TotalMilliseconds, Maximum = maxTime.TotalMilliseconds, Dropped = droppedEvents }; if (!string.IsNullOrEmpty(extension)) { metadata.Extension = extension; } metadata.AddBuckets(buckets); MonoDevelop.SourceEditor.Counters.Typing.Inc(metadata); }
internal TypingTimingMetadata GetTypingTimingMetadata(string extension) { var average = totalTime.TotalMilliseconds / count; var metadata = new TypingTimingMetadata { Average = average, First = firstTime.Value.TotalMilliseconds, Maximum = maxTime.TotalMilliseconds, Dropped = droppedEvents }; if (!string.IsNullOrEmpty(extension)) { metadata.Extension = extension; } metadata.AddBuckets(buckets); return(metadata); }