Preferences/ConfigurationPages/PluginManagerPage.py

changeset 3200
83bde5e6f146
parent 3190
a9a94491c4fd
child 3484
645c12de6b0c
--- a/Preferences/ConfigurationPages/PluginManagerPage.py	Sat Jan 11 20:03:38 2014 +0100
+++ b/Preferences/ConfigurationPages/PluginManagerPage.py	Sun Jan 12 18:02:33 2014 +0100
@@ -43,6 +43,10 @@
             Preferences.getPluginManager("ActivateExternal"))
         self.downloadDirEdit.setText(
             Preferences.getPluginManager("DownloadPath"))
+        self.generationsSpinBox.setValue(
+            Preferences.getPluginManager("KeepGenerations"))
+        self.keepHiddenCheckBox.setChecked(
+            Preferences.getPluginManager("KeepHidden"))
         
         period = Preferences.getPluginManager("UpdatesCheckInterval")
         if period == 0:
@@ -70,6 +74,12 @@
         Preferences.setPluginManager(
             "DownloadPath",
             self.downloadDirEdit.text())
+        Preferences.setPluginManager(
+            "KeepGenerations",
+            self.generationsSpinBox.value())
+        Preferences.setPluginManager(
+            "KeepHidden",
+            self.keepHiddenCheckBox.isChecked())
         
         if self.noCheckRadioButton.isChecked():
             period = 0

eric ide

mercurial