Comment

Jürgen confirms that the behavior in #8493 is present with Qt6.

diff --git a/src/frontends/qt/GuiFontLoader.cpp b/src/frontends/qt/GuiFontLoader.cpp
index ea3f1965f2576876f067ba4e9a428c2a4e76a6b4..3857c3fc011dfafcf8a04a23148684c2e8931538 100644 (file)
--- 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.