Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 3190
a9a94491c4fd
parent 3160
209a07d7e401
child 3484
645c12de6b0c
equal deleted inserted replaced
3189:9a21c547de5f 3190:a9a94491c4fd
46 try: 46 try:
47 self.extsep = os.extsep 47 self.extsep = os.extsep
48 except AttributeError: 48 except AttributeError:
49 self.extsep = "." 49 self.extsep = "."
50 50
51 self.extras = ["-----------", self.trUtf8("Alternative")] 51 self.extras = ["-----------", self.tr("Alternative")]
52 languages = [''] + sorted(lexers.keys()) + self.extras 52 languages = [''] + sorted(lexers.keys()) + self.extras
53 self.editorLexerCombo.addItems(languages) 53 self.editorLexerCombo.addItems(languages)
54 54
55 pygmentsLexers = [''] + sorted([l[0] for l in get_all_lexers()]) 55 pygmentsLexers = [''] + sorted([l[0] for l in get_all_lexers()])
56 self.pygmentsLexerCombo.addItems(pygmentsLexers) 56 self.pygmentsLexerCombo.addItems(pygmentsLexers)
135 self.editorFileExtEdit.setText(itm.text(0)) 135 self.editorFileExtEdit.setText(itm.text(0))
136 lexer = itm.text(1) 136 lexer = itm.text(1)
137 if lexer.startswith("Pygments|"): 137 if lexer.startswith("Pygments|"):
138 pygmentsLexer = lexer.split("|")[1] 138 pygmentsLexer = lexer.split("|")[1]
139 pygmentsIndex = self.pygmentsLexerCombo.findText(pygmentsLexer) 139 pygmentsIndex = self.pygmentsLexerCombo.findText(pygmentsLexer)
140 lexer = self.trUtf8("Alternative") 140 lexer = self.tr("Alternative")
141 else: 141 else:
142 pygmentsIndex = 0 142 pygmentsIndex = 0
143 index = self.editorLexerCombo.findText(lexer) 143 index = self.editorLexerCombo.findText(lexer)
144 self.editorLexerCombo.setCurrentIndex(index) 144 self.editorLexerCombo.setCurrentIndex(index)
145 self.pygmentsLexerCombo.setCurrentIndex(pygmentsIndex) 145 self.pygmentsLexerCombo.setCurrentIndex(pygmentsIndex)

eric ide

mercurial