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 |