mirror of
https://github.com/mpv-player/mpv
synced 2024-12-31 11:42:14 +00:00
stats: add file size
also one minor cosmetic change: comment the "coming soon" dummy page
This commit is contained in:
parent
8dfd728ba1
commit
5f8438bce6
@ -450,6 +450,7 @@ local function add_file(s)
|
||||
{prefix="", suffix="", nl="", indent=o.prefix_sep,
|
||||
prefix_sep="", no_prefix_markup=true})
|
||||
end
|
||||
append_property(s, "file-size", {prefix="Size:"})
|
||||
end
|
||||
|
||||
|
||||
@ -588,7 +589,7 @@ curr_page = o.key_page_1
|
||||
pages = {
|
||||
[o.key_page_1] = { f = default_stats, desc = "Default" },
|
||||
[o.key_page_2] = { f = vo_stats, desc = "Extended Frame Timings" },
|
||||
[o.key_page_3] = { f = filter_stats, desc = "Dummy" },
|
||||
--[o.key_page_3] = { f = filter_stats, desc = "Dummy" },
|
||||
}
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user