33 self.pluginManager = ericApp().getObject("PluginManager") |
33 self.pluginManager = ericApp().getObject("PluginManager") |
34 self.viewmanagers = self.pluginManager.getPluginDisplayStrings("viewmanager") |
34 self.viewmanagers = self.pluginManager.getPluginDisplayStrings("viewmanager") |
35 self.windowComboBox.clear() |
35 self.windowComboBox.clear() |
36 currentVm = Preferences.getViewManager() |
36 currentVm = Preferences.getViewManager() |
37 |
37 |
38 keys = sorted(self.viewmanagers.keys()) |
38 for key in sorted(self.viewmanagers): |
39 for key in keys: |
|
40 self.windowComboBox.addItem(self.tr(self.viewmanagers[key]), key) |
39 self.windowComboBox.addItem(self.tr(self.viewmanagers[key]), key) |
41 currentIndex = self.windowComboBox.findText( |
40 currentIndex = self.windowComboBox.findText( |
42 self.tr(self.viewmanagers[currentVm]) |
41 self.tr(self.viewmanagers[currentVm]) |
43 ) |
42 ) |
44 self.windowComboBox.setCurrentIndex(currentIndex) |
43 self.windowComboBox.setCurrentIndex(currentIndex) |