30 self.setupUi(self) |
30 self.setupUi(self) |
31 self.setObjectName("ViewmanagerPage") |
31 self.setObjectName("ViewmanagerPage") |
32 |
32 |
33 # set initial values |
33 # set initial values |
34 self.pluginManager = e5App().getObject("PluginManager") |
34 self.pluginManager = e5App().getObject("PluginManager") |
35 self.viewmanagers = \ |
35 self.viewmanagers = self.pluginManager.getPluginDisplayStrings( |
36 self.pluginManager.getPluginDisplayStrings("viewmanager") |
36 "viewmanager") |
37 self.windowComboBox.clear() |
37 self.windowComboBox.clear() |
38 currentVm = Preferences.getViewManager() |
38 currentVm = Preferences.getViewManager() |
39 |
39 |
40 keys = sorted(self.viewmanagers.keys()) |
40 keys = sorted(self.viewmanagers.keys()) |
41 for key in keys: |
41 for key in keys: |
78 """ |
78 """ |
79 Private slot to show a preview of the selected workspace view type. |
79 Private slot to show a preview of the selected workspace view type. |
80 |
80 |
81 @param index index of selected workspace view type (integer) |
81 @param index index of selected workspace view type (integer) |
82 """ |
82 """ |
83 workspace = \ |
83 workspace = self.windowComboBox.itemData( |
84 self.windowComboBox.itemData(self.windowComboBox.currentIndex()) |
84 self.windowComboBox.currentIndex()) |
85 pixmap = \ |
85 pixmap = self.pluginManager.getPluginPreviewPixmap( |
86 self.pluginManager.getPluginPreviewPixmap("viewmanager", workspace) |
86 "viewmanager", workspace) |
87 |
87 |
88 self.previewPixmap.setPixmap(pixmap) |
88 self.previewPixmap.setPixmap(pixmap) |
89 self.tabViewGroupBox.setEnabled(workspace == "tabview") |
89 self.tabViewGroupBox.setEnabled(workspace == "tabview") |
90 |
90 |
91 |
91 |