Preferences/ConfigurationPages/PluginManagerPage.py

changeset 5739
a870f5f03baa
parent 5389
9b1c800daff3
child 6048
82ad8ec9548c
diff -r 912d7ba40c26 -r a870f5f03baa Preferences/ConfigurationPages/PluginManagerPage.py
--- a/Preferences/ConfigurationPages/PluginManagerPage.py	Sat May 13 18:19:06 2017 +0200
+++ b/Preferences/ConfigurationPages/PluginManagerPage.py	Mon May 15 18:36:49 2017 +0200
@@ -42,6 +42,8 @@
             Preferences.getPluginManager("KeepGenerations"))
         self.keepHiddenCheckBox.setChecked(
             Preferences.getPluginManager("KeepHidden"))
+        self.startupCleanupCheckBox.setChecked(
+            Preferences.getPluginManager("StartupCleanup"))
         
         period = Preferences.getPluginManager("UpdatesCheckInterval")
         if period == 0:
@@ -80,6 +82,9 @@
         Preferences.setPluginManager(
             "KeepHidden",
             self.keepHiddenCheckBox.isChecked())
+        Preferences.setPluginManager(
+            "StartupCleanup",
+            self.startupCleanupCheckBox.isChecked())
         
         if self.noCheckRadioButton.isChecked():
             period = 0

eric ide

mercurial