Preferences/ConfigurationPages/EditorHighlightersPage.py

branch
Py2 comp.
changeset 3484
645c12de6b0c
parent 3178
f25fc1364c88
parent 3190
a9a94491c4fd
child 3656
441956d8fce5
equal deleted inserted replaced
3456:96232974dcdb 3484:645c12de6b0c
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 self.extras = ["-----------", self.trUtf8("Alternative")] 53 self.extras = ["-----------", self.tr("Alternative")]
54 languages = [''] + sorted(lexers.keys()) + self.extras 54 languages = [''] + sorted(lexers.keys()) + self.extras
55 self.editorLexerCombo.addItems(languages) 55 self.editorLexerCombo.addItems(languages)
56 56
57 pygmentsLexers = [''] + sorted([l[0] for l in get_all_lexers()]) 57 pygmentsLexers = [''] + sorted([l[0] for l in get_all_lexers()])
58 self.pygmentsLexerCombo.addItems(pygmentsLexers) 58 self.pygmentsLexerCombo.addItems(pygmentsLexers)
137 self.editorFileExtEdit.setText(itm.text(0)) 137 self.editorFileExtEdit.setText(itm.text(0))
138 lexer = itm.text(1) 138 lexer = itm.text(1)
139 if lexer.startswith("Pygments|"): 139 if lexer.startswith("Pygments|"):
140 pygmentsLexer = lexer.split("|")[1] 140 pygmentsLexer = lexer.split("|")[1]
141 pygmentsIndex = self.pygmentsLexerCombo.findText(pygmentsLexer) 141 pygmentsIndex = self.pygmentsLexerCombo.findText(pygmentsLexer)
142 lexer = self.trUtf8("Alternative") 142 lexer = self.tr("Alternative")
143 else: 143 else:
144 pygmentsIndex = 0 144 pygmentsIndex = 0
145 index = self.editorLexerCombo.findText(lexer) 145 index = self.editorLexerCombo.findText(lexer)
146 self.editorLexerCombo.setCurrentIndex(index) 146 self.editorLexerCombo.setCurrentIndex(index)
147 self.pygmentsLexerCombo.setCurrentIndex(pygmentsIndex) 147 self.pygmentsLexerCombo.setCurrentIndex(pygmentsIndex)

eric ide

mercurial