Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 5427
614e88cfbd84
parent 5389
9b1c800daff3
child 5599
033967644b1f
--- a/Preferences/ConfigurationPages/EditorHighlightersPage.py	Wed Jan 18 18:38:34 2017 +0100
+++ b/Preferences/ConfigurationPages/EditorHighlightersPage.py	Wed Jan 18 18:39:45 2017 +0100
@@ -50,9 +50,13 @@
         except AttributeError:
             self.extsep = "."
         
+        import QScintilla.Lexers
         self.extras = ["-----------", self.tr("Alternative")]
         languages = [''] + sorted(lexers.keys()) + self.extras
-        self.editorLexerCombo.addItems(languages)
+        for lang in languages:
+            self.editorLexerCombo.addItem(
+                QScintilla.Lexers.getLanguageIcon(lang, False),
+                lang)
         
         pygmentsLexers = [''] + sorted([l[0] for l in get_all_lexers()])
         self.pygmentsLexerCombo.addItems(pygmentsLexers)

eric ide

mercurial