diff -r 96232974dcdb -r 645c12de6b0c Preferences/ConfigurationPages/EditorHighlightersPage.py --- a/Preferences/ConfigurationPages/EditorHighlightersPage.py Sun Mar 30 22:00:14 2014 +0200 +++ b/Preferences/ConfigurationPages/EditorHighlightersPage.py Thu Apr 03 23:05:31 2014 +0200 @@ -50,7 +50,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) @@ -139,7 +139,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)