--- a/Preferences/ConfigurationPages/ViewmanagerPage.py Sun Mar 30 22:00:14 2014 +0200 +++ b/Preferences/ConfigurationPages/ViewmanagerPage.py Thu Apr 03 23:05:31 2014 +0200 @@ -41,14 +41,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"))