Preferences/ConfigurationPages/ViewmanagerPage.py

changeset 6
52e8c820d0dd
parent 0
de9c2efb9d02
child 7
c679fb30c8f3
equal deleted inserted replaced
5:fa319c01b604 6:52e8c820d0dd
76 """ 76 """
77 Private slot to show a preview of the selected workspace view type. 77 Private slot to show a preview of the selected workspace view type.
78 78
79 @param index index of selected workspace view type (integer) 79 @param index index of selected workspace view type (integer)
80 """ 80 """
81 workspace = unicode(\ 81 workspace = \
82 self.windowComboBox.itemData(self.windowComboBox.currentIndex()).toString()) 82 self.windowComboBox.itemData(self.windowComboBox.currentIndex()).toString()
83 pixmap = self.pluginManager.getPluginPreviewPixmap("viewmanager", workspace) 83 pixmap = self.pluginManager.getPluginPreviewPixmap("viewmanager", workspace)
84 84
85 self.previewPixmap.setPixmap(pixmap) 85 self.previewPixmap.setPixmap(pixmap)
86 self.tabViewGroupBox.setEnabled(workspace == "tabview") 86 self.tabViewGroupBox.setEnabled(workspace == "tabview")
87 87

eric ide

mercurial