diff -r c2125fcab4b8 -r 3a595df36c9a src/eric7/QScintilla/Exporters/ExporterHTML.py --- a/src/eric7/QScintilla/Exporters/ExporterHTML.py Thu Aug 31 15:00:53 2023 +0200 +++ b/src/eric7/QScintilla/Exporters/ExporterHTML.py Thu Aug 31 18:10:28 2023 +0200 @@ -194,7 +194,6 @@ QFontInfo(font).pointSize() ) html += "}\n" - # __IGNORE_WARNING_Y113__ else: styleIsUsed[istyle] = False istyle += 1