Preferences/ConfigurationPages/PluginManagerPage.py

changeset 3200
83bde5e6f146
parent 3190
a9a94491c4fd
child 3484
645c12de6b0c
equal deleted inserted replaced
3197:4103c8013c36 3200:83bde5e6f146
41 # set initial values 41 # set initial values
42 self.activateExternalPluginsCheckBox.setChecked( 42 self.activateExternalPluginsCheckBox.setChecked(
43 Preferences.getPluginManager("ActivateExternal")) 43 Preferences.getPluginManager("ActivateExternal"))
44 self.downloadDirEdit.setText( 44 self.downloadDirEdit.setText(
45 Preferences.getPluginManager("DownloadPath")) 45 Preferences.getPluginManager("DownloadPath"))
46 self.generationsSpinBox.setValue(
47 Preferences.getPluginManager("KeepGenerations"))
48 self.keepHiddenCheckBox.setChecked(
49 Preferences.getPluginManager("KeepHidden"))
46 50
47 period = Preferences.getPluginManager("UpdatesCheckInterval") 51 period = Preferences.getPluginManager("UpdatesCheckInterval")
48 if period == 0: 52 if period == 0:
49 self.noCheckRadioButton.setChecked(True) 53 self.noCheckRadioButton.setChecked(True)
50 elif period == 1: 54 elif period == 1:
68 "ActivateExternal", 72 "ActivateExternal",
69 self.activateExternalPluginsCheckBox.isChecked()) 73 self.activateExternalPluginsCheckBox.isChecked())
70 Preferences.setPluginManager( 74 Preferences.setPluginManager(
71 "DownloadPath", 75 "DownloadPath",
72 self.downloadDirEdit.text()) 76 self.downloadDirEdit.text())
77 Preferences.setPluginManager(
78 "KeepGenerations",
79 self.generationsSpinBox.value())
80 Preferences.setPluginManager(
81 "KeepHidden",
82 self.keepHiddenCheckBox.isChecked())
73 83
74 if self.noCheckRadioButton.isChecked(): 84 if self.noCheckRadioButton.isChecked():
75 period = 0 85 period = 0
76 elif self.dailyCheckRadioButton.isChecked(): 86 elif self.dailyCheckRadioButton.isChecked():
77 period = 1 87 period = 1

eric ide

mercurial