Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/PluginManagerPage.py
src/eric7/Preferences/ConfigurationPages/PluginManagerPage.py
- branch
- eric7
- changeset 9982
- 5b91f7baffd0
- parent 9653
- e67609152c5e
- child 10069
- 435cc5875135
equal
deleted
inserted
replaced
| 9981:932af5154428 | 9982:5b91f7baffd0 |
|---|---|
| 41 ) | 41 ) |
| 42 self.keepHiddenCheckBox.setChecked(Preferences.getPluginManager("KeepHidden")) | 42 self.keepHiddenCheckBox.setChecked(Preferences.getPluginManager("KeepHidden")) |
| 43 self.startupCleanupCheckBox.setChecked( | 43 self.startupCleanupCheckBox.setChecked( |
| 44 Preferences.getPluginManager("StartupCleanup") | 44 Preferences.getPluginManager("StartupCleanup") |
| 45 ) | 45 ) |
| 46 self.unencryptedCheckBox.setChecked( | |
| 47 Preferences.getPluginManager("ForceHttpPluginDownload") | |
| 48 ) | |
| 46 | 49 |
| 47 period = Preferences.getPluginManager("UpdatesCheckInterval") | 50 period = Preferences.getPluginManager("UpdatesCheckInterval") |
| 48 if period == 0: | 51 if period == 0: |
| 49 self.noCheckRadioButton.setChecked(True) | 52 self.noCheckRadioButton.setChecked(True) |
| 50 elif period == 1: | 53 elif period == 1: |
| 80 Preferences.setPluginManager("DownloadPath", self.downloadDirPicker.text()) | 83 Preferences.setPluginManager("DownloadPath", self.downloadDirPicker.text()) |
| 81 Preferences.setPluginManager("KeepGenerations", self.generationsSpinBox.value()) | 84 Preferences.setPluginManager("KeepGenerations", self.generationsSpinBox.value()) |
| 82 Preferences.setPluginManager("KeepHidden", self.keepHiddenCheckBox.isChecked()) | 85 Preferences.setPluginManager("KeepHidden", self.keepHiddenCheckBox.isChecked()) |
| 83 Preferences.setPluginManager( | 86 Preferences.setPluginManager( |
| 84 "StartupCleanup", self.startupCleanupCheckBox.isChecked() | 87 "StartupCleanup", self.startupCleanupCheckBox.isChecked() |
| 88 ) | |
| 89 Preferences.setPluginManager( | |
| 90 "ForceHttpPluginDownload", self.unencryptedCheckBox.isChecked() | |
| 85 ) | 91 ) |
| 86 | 92 |
| 87 if self.noCheckRadioButton.isChecked(): | 93 if self.noCheckRadioButton.isChecked(): |
| 88 period = 0 | 94 period = 0 |
| 89 elif self.dailyCheckRadioButton.isChecked(): | 95 elif self.dailyCheckRadioButton.isChecked(): |
