mirror of
https://github.com/luanti-org/luanti.git
synced 2025-08-01 17:38:41 +00:00
Legible Lua profiler (#14142)
This commit is contained in:
parent
8e9d7611ae
commit
a22b1700a4
2 changed files with 18 additions and 2 deletions
|
@ -77,7 +77,7 @@ local Formatter = {
|
|||
end
|
||||
}
|
||||
|
||||
local widths = { 55, 9, 9, 9, 5, 5, 5 }
|
||||
local widths = { 80, 9, 9, 9, 5, 5, 5 }
|
||||
local txt_row_format = sprintf(" %%-%ds | %%%ds | %%%ds | %%%ds | %%%ds | %%%ds | %%%ds", unpack(widths))
|
||||
|
||||
local HR = {}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue