Motivated by the nice heatmap (PR #686) , we fix and improve perf data, in particular, we
we now send data for all the sentences, not only for the top 10
we send data that takes into account the cached execution of the command
we include a client-side option to disable sending of this data, as it can be "large" for large files (not so much actually, but just in case)
we fix types.ts for Loc -> Range (seems to be a bug from the beginning)
@Alizter , the PR is still not finished (we only report "real" time when a sentence was cached), but it should provide you a much better basis than main for your work on #686 . In particular, we now send perf data for all the sentences.
Let me know of any question.
TODO:
[x] Add client-side option to enable perf data
[x] Fix data creation in doc.ml
[x] Fix stored data validation in Perf view (maybe use a timestamp?)
Motivated by the nice heatmap (PR #686) , we fix and improve perf data, in particular, we
types.tsforLoc -> Range(seems to be a bug from the beginning)@Alizter , the PR is still not finished (we only report "real" time when a sentence was cached), but it should provide you a much better basis than
mainfor your work on #686 . In particular, we now send perf data for all the sentences.Let me know of any question.
TODO: