summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJulian <MyFakeAcc.4@googlemail.com>2017-10-12 21:48:19 +0200
committerJulian <MyFakeAcc.4@googlemail.com>2017-10-13 00:28:41 +0200
commit5f8438bce63318167f7f4f2b68c75ef4737d542c (patch)
tree89abe4975cfff60f42b817cb77af70eec5744c8b
parent8dfd728ba1d184d7ba72f8b85590a43e828fda2c (diff)
downloadmpv-5f8438bce63318167f7f4f2b68c75ef4737d542c.tar.bz2
mpv-5f8438bce63318167f7f4f2b68c75ef4737d542c.tar.xz
stats: add file size
also one minor cosmetic change: comment the "coming soon" dummy page
-rw-r--r--player/lua/stats.lua3
1 files changed, 2 insertions, 1 deletions
diff --git a/player/lua/stats.lua b/player/lua/stats.lua
index 0c278f5224..bdc3338082 100644
--- a/player/lua/stats.lua
+++ b/player/lua/stats.lua
@@ -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" },
}