summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJulian <MyFakeAcc.4@googlemail.com>2017-07-24 23:40:09 +0200
committerwm4 <wm4@nowhere>2017-10-09 20:40:32 +0200
commit5c8e9e8072dd6cf810a771ac6790903b02839aa8 (patch)
tree80d1c30662abbe557e0d16ee186fecf8641b955c
parentd0608d3fdf5a7d9ce6e24cb45f102deaa6139572 (diff)
downloadmpv-5c8e9e8072dd6cf810a771ac6790903b02839aa8.tar.bz2
mpv-5c8e9e8072dd6cf810a771ac6790903b02839aa8.tar.xz
stats: change font weight of % sign as well
Due to popular demand
-rw-r--r--player/lua/stats.lua2
1 files changed, 1 insertions, 1 deletions
diff --git a/player/lua/stats.lua b/player/lua/stats.lua
index 7da2233e21..07bcc5bc4f 100644
--- a/player/lua/stats.lua
+++ b/player/lua/stats.lua
@@ -314,7 +314,7 @@ local function append_perfdata(s, dedicated_page)
end
-- Calculate font weight. 100 is minimum, 400 is normal, 700 bold, 900 is max
local w = (700 * math.sqrt(i)) + 200
- return format("{\\b%d}%02d{\\b0}%%", w, i * 100)
+ return format("{\\b%d}%02d%%{\\b0}", w, i * 100)
end
s[#s+1] = format("%s%s%s%s{\\fs%s}%s{\\fs%s}", dedicated_page and "" or o.nl, dedicated_page and "" or o.indent,