diff options
author | Julian <MyFakeAcc.4@googlemail.com> | 2017-07-24 23:40:09 +0200 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2017-10-09 20:40:32 +0200 |
commit | 5c8e9e8072dd6cf810a771ac6790903b02839aa8 (patch) | |
tree | 80d1c30662abbe557e0d16ee186fecf8641b955c /player | |
parent | d0608d3fdf5a7d9ce6e24cb45f102deaa6139572 (diff) | |
download | mpv-5c8e9e8072dd6cf810a771ac6790903b02839aa8.tar.bz2 mpv-5c8e9e8072dd6cf810a771ac6790903b02839aa8.tar.xz |
stats: change font weight of % sign as well
Due to popular demand
Diffstat (limited to 'player')
-rw-r--r-- | player/lua/stats.lua | 2 |
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, |