Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 5427
614e88cfbd84
parent 5389
9b1c800daff3
child 5599
033967644b1f
equal deleted inserted replaced
5426:95db6c3cc4fb 5427:614e88cfbd84
48 try: 48 try:
49 self.extsep = os.extsep 49 self.extsep = os.extsep
50 except AttributeError: 50 except AttributeError:
51 self.extsep = "." 51 self.extsep = "."
52 52
53 import QScintilla.Lexers
53 self.extras = ["-----------", self.tr("Alternative")] 54 self.extras = ["-----------", self.tr("Alternative")]
54 languages = [''] + sorted(lexers.keys()) + self.extras 55 languages = [''] + sorted(lexers.keys()) + self.extras
55 self.editorLexerCombo.addItems(languages) 56 for lang in languages:
57 self.editorLexerCombo.addItem(
58 QScintilla.Lexers.getLanguageIcon(lang, False),
59 lang)
56 60
57 pygmentsLexers = [''] + sorted([l[0] for l in get_all_lexers()]) 61 pygmentsLexers = [''] + sorted([l[0] for l in get_all_lexers()])
58 self.pygmentsLexerCombo.addItems(pygmentsLexers) 62 self.pygmentsLexerCombo.addItems(pygmentsLexers)
59 63
60 # set initial values 64 # set initial values

eric ide

mercurial