diff -r 4103c8013c36 -r 83bde5e6f146 Preferences/ConfigurationPages/PluginManagerPage.py
--- 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
