diff options
| author | SmallJoker <SmallJoker@users.noreply.github.com> | 2019-08-13 19:56:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-13 19:56:55 +0200 |
| commit | 539f016c1b1a706da2c113435ec60bb39c868f4b (patch) | |
| tree | 691e212ec4017bb6744dc23f2bd1dce2cb18e92b /.github | |
| parent | e9ceead81dd989936e2de3ff7cd7496aecd09d39 (diff) | |
| download | minetest-539f016c1b1a706da2c113435ec60bb39c868f4b.tar.gz minetest-539f016c1b1a706da2c113435ec60bb39c868f4b.tar.bz2 minetest-539f016c1b1a706da2c113435ec60bb39c868f4b.zip | |
Better F6 profiler (#8750)
Update the profiler names to make more sense of what they actually represent
Move the profiler code from header to its source file
Use monospace font to align lines
Format the statistics line to align better with surrounding values
Refresh the profiler each 3 seconds (roughly)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions