--- a/Preferences/ConfigurationPages/EditorHighlightersPage.py Fri Jan 10 19:30:21 2014 +0100 +++ b/Preferences/ConfigurationPages/EditorHighlightersPage.py Sat Jan 11 11:55:33 2014 +0100 @@ -48,7 +48,7 @@ except AttributeError: self.extsep = "." - self.extras = ["-----------", self.trUtf8("Alternative")] + self.extras = ["-----------", self.tr("Alternative")] languages = [''] + sorted(lexers.keys()) + self.extras self.editorLexerCombo.addItems(languages) @@ -137,7 +137,7 @@ if lexer.startswith("Pygments|"): pygmentsLexer = lexer.split("|")[1] pygmentsIndex = self.pygmentsLexerCombo.findText(pygmentsLexer) - lexer = self.trUtf8("Alternative") + lexer = self.tr("Alternative") else: pygmentsIndex = 0 index = self.editorLexerCombo.findText(lexer)