From 6f9cfdea7e9005ee49bd13962631fdcc80f84565 Mon Sep 17 00:00:00 2001 From: Scott Kostyshak Date: Fri, 2 Dec 2022 19:28:10 -0500 Subject: [PATCH] Comment MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Jürgen confirms that the behavior in #8493 is present with Qt6. --- src/frontends/qt/GuiFontLoader.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontends/qt/GuiFontLoader.cpp b/src/frontends/qt/GuiFontLoader.cpp index ea3f1965f2..3857c3fc01 100644 --- a/src/frontends/qt/GuiFontLoader.cpp +++ b/src/frontends/qt/GuiFontLoader.cpp @@ -386,7 +386,7 @@ bool FontLoader::available(FontInfo const & f) bool FontLoader::canBeDisplayed(char_type c) { - // bug 8493: with Qt5, characters with codepoints 9, 10, 12 and 13 + // 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. -- 2.39.5