--- a/eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py Wed Aug 04 15:35:49 2021 +0200 +++ b/eric7/Preferences/ConfigurationPages/EditorHighlightersPage.py Tue Aug 10 21:07:19 2021 +0200 @@ -18,6 +18,7 @@ from .Ui_EditorHighlightersPage import Ui_EditorHighlightersPage import Preferences +import UI.PixmapCache class EditorHighlightersPage(ConfigurationPageBase, Ui_EditorHighlightersPage): @@ -47,11 +48,17 @@ import QScintilla.Lexers self.extras = ["-----------", self.tr("Alternative")] - languages = [''] + sorted(lexers.keys()) + self.extras - for lang in languages: + self.editorLexerCombo.addItem("") + self.editorLexerCombo.addItem( + UI.PixmapCache.getIcon("fileText"), + "Text" + ) + for lang in sorted(lexers.keys()): self.editorLexerCombo.addItem( QScintilla.Lexers.getLanguageIcon(lang, False), - lang) + lang + ) + self.editorLexerCombo.addItems(self.extras) pygmentsLexers = [''] + sorted(lex[0] for lex in get_all_lexers()) self.pygmentsLexerCombo.addItems(pygmentsLexers)