Preferences/ConfigurationPages/EditorHighlightersPage.py

changeset 3190
a9a94491c4fd
parent 3160
209a07d7e401
child 3484
645c12de6b0c
--- 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)

eric ide

mercurial