Preferences/ConfigurationPages/PluginManagerPage.py

changeset 5384
22c15d7e2cad
parent 4631
5c1a96925da4
child 5389
9b1c800daff3
diff -r 4bf49e0840f3 -r 22c15d7e2cad Preferences/ConfigurationPages/PluginManagerPage.py
--- a/Preferences/ConfigurationPages/PluginManagerPage.py	Sun Dec 18 18:46:43 2016 +0100
+++ b/Preferences/ConfigurationPages/PluginManagerPage.py	Mon Dec 19 13:30:52 2016 +0100
@@ -52,6 +52,11 @@
             self.weeklyCheckRadioButton.setChecked(True)
         elif period == 3:
             self.monthlyCheckRadioButton.setChecked(True)
+        elif period == 4:
+            self.alwaysCheckRadioButton.setChecked(True)
+        else:
+            # invalid value, default to daily
+            self.dailyCheckRadioButton.setChecked(True)
         
         self.downloadedOnlyCheckBox.setChecked(
             Preferences.getPluginManager("CheckInstalledOnly"))
@@ -84,6 +89,8 @@
             period = 2
         elif self.monthlyCheckRadioButton.isChecked():
             period = 3
+        elif self.alwaysCheckRadioButton.isChecked():
+            period = 4
         Preferences.setPluginManager("UpdatesCheckInterval", period)
         
         Preferences.setPluginManager(

eric ide

mercurial