Preferences/ConfigurationPages/HelpInterfacePage.py

changeset 3025
67064c71df21
parent 3010
befeff46ec0f
child 3058
0a02c433f52d
child 3186
a05eff845522
equal deleted inserted replaced
3024:17c01303a239 3025:67064c71df21
42 """ 42 """
43 # save the style settings 43 # save the style settings
44 styleIndex = self.styleComboBox.currentIndex() 44 styleIndex = self.styleComboBox.currentIndex()
45 style = self.styleComboBox.itemData(styleIndex) 45 style = self.styleComboBox.itemData(styleIndex)
46 Preferences.setUI("Style", style) 46 Preferences.setUI("Style", style)
47 Preferences.setUI("StyleSheet", 47 Preferences.setUI(
48 "StyleSheet",
48 self.styleSheetEdit.text()) 49 self.styleSheetEdit.text())
49 50
50 def __populateStyleCombo(self): 51 def __populateStyleCombo(self):
51 """ 52 """
52 Private method to populate the style combo box. 53 Private method to populate the style combo box.

eric ide

mercurial