From cbb1af64d5df760a182acaa8bade40ba77c372df Mon Sep 17 00:00:00 2001 From: m154k1 <139042094+m154k1@users.noreply.github.com> Date: Sun, 9 Jul 2023 12:05:23 +0300 Subject: [PATCH] stats.lua: set sans-serif as default font sans is deprecated and unsupported on some platforms. --- DOCS/man/stats.rst | 11 ++--------- player/lua/stats.lua | 2 +- 2 files changed, 3 insertions(+), 10 deletions(-) diff --git a/DOCS/man/stats.rst b/DOCS/man/stats.rst index be46fe67f2..80718e53ef 100644 --- a/DOCS/man/stats.rst +++ b/DOCS/man/stats.rst @@ -35,13 +35,6 @@ UP Scroll one line up DOWN Scroll one line down ==== ================== -Font -~~~~ - -For optimal visual experience, a font with support for many font weights and -monospaced digits is recommended. By default, the open source font -`Source Sans Pro `_ is used. - Configuration ------------- @@ -110,13 +103,13 @@ Configurable Options Clear data buffers used for drawing graphs when toggling. ``font`` - Default: Source Sans Pro + Default: sans-serif Font name. Should support as many font weights as possible for optimal visual experience. ``font_mono`` - Default: Source Sans Pro + Default: monospace Font name for parts where monospaced characters are necessary to align text. Currently, monospaced digits are sufficient. diff --git a/player/lua/stats.lua b/player/lua/stats.lua index 93261b02c7..9a33815c40 100644 --- a/player/lua/stats.lua +++ b/player/lua/stats.lua @@ -43,7 +43,7 @@ local o = { plot_color = "FFFFFF", -- Text style - font = "sans", + font = "sans-serif", font_mono = "monospace", -- monospaced digits are sufficient font_size = 8, font_color = "FFFFFF",