Line width

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