Preferences/ConfigurationPages/ViewmanagerPage.py

changeset 564
b3d966393ba9
parent 97
c4086afea02b
child 791
9ec2ac20e54e
equal deleted inserted replaced
563:e35d2cda9a74 564:b3d966393ba9
35 currentVm = Preferences.getViewManager() 35 currentVm = Preferences.getViewManager()
36 36
37 keys = sorted(self.viewmanagers.keys()) 37 keys = sorted(self.viewmanagers.keys())
38 for key in keys: 38 for key in keys:
39 self.windowComboBox.addItem(self.trUtf8(self.viewmanagers[key]), key) 39 self.windowComboBox.addItem(self.trUtf8(self.viewmanagers[key]), key)
40 currentIndex = self.windowComboBox.findText(\ 40 currentIndex = self.windowComboBox.findText(
41 self.trUtf8(self.viewmanagers[currentVm])) 41 self.trUtf8(self.viewmanagers[currentVm]))
42 self.windowComboBox.setCurrentIndex(currentIndex) 42 self.windowComboBox.setCurrentIndex(currentIndex)
43 self.on_windowComboBox_activated(currentIndex) 43 self.on_windowComboBox_activated(currentIndex)
44 44
45 self.tabViewGroupBox.setTitle(self.trUtf8(self.viewmanagers["tabview"])) 45 self.tabViewGroupBox.setTitle(self.trUtf8(self.viewmanagers["tabview"]))

eric ide

mercurial