diff options
author | Avi Halachmi (:avih) <avihpit@yahoo.com> | 2021-07-16 10:33:46 +0300 |
---|---|---|
committer | avih <avih@users.noreply.github.com> | 2021-07-19 22:06:50 +0300 |
commit | 50280197e26e83210d63165572b6748e329d140f (patch) | |
tree | ece2a4a19d5af3e181a43c5174d0c52dfc5e0fb0 /player/lua | |
parent | 3e28c8e983c01c9892f40da5afa2f2dff65c6c75 (diff) | |
download | mpv-50280197e26e83210d63165572b6748e329d140f.tar.bz2 mpv-50280197e26e83210d63165572b6748e329d140f.tar.xz |
stats.lua: move internal performance from page 4 to page 0
This allows adding more pages without the internal performance page
getting stuck at the middle of the list.
Diffstat (limited to 'player/lua')
-rw-r--r-- | player/lua/stats.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/player/lua/stats.lua b/player/lua/stats.lua index bfdf68aba6..653a367b77 100644 --- a/player/lua/stats.lua +++ b/player/lua/stats.lua @@ -18,7 +18,7 @@ local o = { key_page_1 = "1", key_page_2 = "2", key_page_3 = "3", - key_page_4 = "4", + key_page_0 = "0", -- For pages which support scrolling key_scroll_up = "UP", key_scroll_down = "DOWN", @@ -669,7 +669,7 @@ local function perf_stats() local stats = {} eval_ass_formatting() add_header(stats) - local page = pages[o.key_page_4] + local page = pages[o.key_page_0] append(stats, "", {prefix=o.nl .. o.nl .. page.desc .. ":", nl="", indent=""}) page.offset = append_general_perfdata(stats, page.offset) return table.concat(stats) @@ -800,7 +800,7 @@ pages = { [o.key_page_1] = { f = default_stats, desc = "Default" }, [o.key_page_2] = { f = vo_stats, desc = "Extended Frame Timings", scroll = true }, [o.key_page_3] = { f = cache_stats, desc = "Cache Statistics" }, - [o.key_page_4] = { f = perf_stats, desc = "Internal performance info", scroll = true }, + [o.key_page_0] = { f = perf_stats, desc = "Internal performance info", scroll = true }, } |