--- a/src/eric7/EricWidgets/EricSpellCheckedTextEdit.py Thu May 25 11:12:05 2023 +0200 +++ b/src/eric7/EricWidgets/EricSpellCheckedTextEdit.py Thu May 25 19:51:47 2023 +0200 @@ -367,7 +367,7 @@ @type str """ self.__highlighter.setChunkers( - [enchant.tokenize.HTMLChunker] if format == "html" else [] + [enchant.tokenize.HTMLChunker] if formatName == "html" else [] ) def dict(self):