Preferences/ConfigurationPages/ViewmanagerPage.py

changeset 3190
a9a94491c4fd
parent 3160
209a07d7e401
child 3484
645c12de6b0c
--- a/Preferences/ConfigurationPages/ViewmanagerPage.py	Fri Jan 10 19:30:21 2014 +0100
+++ b/Preferences/ConfigurationPages/ViewmanagerPage.py	Sat Jan 11 11:55:33 2014 +0100
@@ -39,14 +39,14 @@
         keys = sorted(self.viewmanagers.keys())
         for key in keys:
             self.windowComboBox.addItem(
-                self.trUtf8(self.viewmanagers[key]), key)
+                self.tr(self.viewmanagers[key]), key)
         currentIndex = self.windowComboBox.findText(
-            self.trUtf8(self.viewmanagers[currentVm]))
+            self.tr(self.viewmanagers[currentVm]))
         self.windowComboBox.setCurrentIndex(currentIndex)
         self.on_windowComboBox_activated(currentIndex)
         
         self.tabViewGroupBox.setTitle(
-            self.trUtf8(self.viewmanagers["tabview"]))
+            self.tr(self.viewmanagers["tabview"]))
         
         self.filenameLengthSpinBox.setValue(
             Preferences.getUI("TabViewManagerFilenameLength"))

eric ide

mercurial