From a41b866e60507e6a1ccad77a362d891cba055c2b Mon Sep 17 00:00:00 2001 From: Scott Kostyshak Date: Fri, 2 Dec 2022 19:29:04 -0500 Subject: [PATCH] Line width --- src/frontends/qt/GuiFontLoader.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/frontends/qt/GuiFontLoader.cpp b/src/frontends/qt/GuiFontLoader.cpp index 3857c3fc01..453d1260ea 100644 --- a/src/frontends/qt/GuiFontLoader.cpp +++ b/src/frontends/qt/GuiFontLoader.cpp @@ -386,8 +386,8 @@ bool FontLoader::available(FontInfo const & f) bool FontLoader::canBeDisplayed(char_type c) { - // bug 8493: with Qt5 and Qt6, characters with codepoints 9, 10, 12 and 13 - // are rendered as spaces. We handle that in our TeX fonts by making + // bug 8493: with Qt5 and Qt6, characters with codepoints 9, 10, 12 and + // 13 are rendered as spaces. We handle that in our TeX fonts by making // copies of the glyphs elsewhere, but this may trigger if we are // unlucky. if (c == 0x0009 || c == 0x000a || c == 0x000c || c == 0x000d) -- 2.39.5