From c3971668c786ca83baaab2982d23ce74140e08a3 Mon Sep 17 00:00:00 2001 From: Julian Date: Fri, 13 Oct 2017 00:41:51 +0200 Subject: [PATCH] stats: add file size also one minor cosmetic change: comment the "coming soon" dummy page --- stats.lua | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/stats.lua b/stats.lua index 0c278f5..bdc3338 100644 --- a/stats.lua +++ b/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" }, }