kleines Filmröllchen 6368ef41f8 Profiler: Round sample percentages to a constant number of digits ...

This constant is currently 3 but can be changed easily or integrated
into a user setting. Note that the results are not ideal because during
pretty-printing we're not using any nice rounding rules, so many
percentage values will actually appear as 0.399999 even though they were
rounded to three digits.

2022-05-07 20:21:51 +02:00

6.1 KiB

Raw Blame History

View Raw