Preferences/ConfigurationPages/PluginManagerPage.py

changeset 5739
a870f5f03baa
parent 5389
9b1c800daff3
child 6048
82ad8ec9548c
equal deleted inserted replaced
5738:912d7ba40c26 5739:a870f5f03baa
40 Preferences.getPluginManager("DownloadPath")) 40 Preferences.getPluginManager("DownloadPath"))
41 self.generationsSpinBox.setValue( 41 self.generationsSpinBox.setValue(
42 Preferences.getPluginManager("KeepGenerations")) 42 Preferences.getPluginManager("KeepGenerations"))
43 self.keepHiddenCheckBox.setChecked( 43 self.keepHiddenCheckBox.setChecked(
44 Preferences.getPluginManager("KeepHidden")) 44 Preferences.getPluginManager("KeepHidden"))
45 self.startupCleanupCheckBox.setChecked(
46 Preferences.getPluginManager("StartupCleanup"))
45 47
46 period = Preferences.getPluginManager("UpdatesCheckInterval") 48 period = Preferences.getPluginManager("UpdatesCheckInterval")
47 if period == 0: 49 if period == 0:
48 self.noCheckRadioButton.setChecked(True) 50 self.noCheckRadioButton.setChecked(True)
49 elif period == 1: 51 elif period == 1:
78 "KeepGenerations", 80 "KeepGenerations",
79 self.generationsSpinBox.value()) 81 self.generationsSpinBox.value())
80 Preferences.setPluginManager( 82 Preferences.setPluginManager(
81 "KeepHidden", 83 "KeepHidden",
82 self.keepHiddenCheckBox.isChecked()) 84 self.keepHiddenCheckBox.isChecked())
85 Preferences.setPluginManager(
86 "StartupCleanup",
87 self.startupCleanupCheckBox.isChecked())
83 88
84 if self.noCheckRadioButton.isChecked(): 89 if self.noCheckRadioButton.isChecked():
85 period = 0 90 period = 0
86 elif self.dailyCheckRadioButton.isChecked(): 91 elif self.dailyCheckRadioButton.isChecked():
87 period = 1 92 period = 1

eric ide

mercurial