src/eric7/Preferences/ConfigurationPages/PluginManagerPage.py

branch
eric7
changeset 9982
5b91f7baffd0
parent 9653
e67609152c5e
child 10069
435cc5875135
--- a/src/eric7/Preferences/ConfigurationPages/PluginManagerPage.py	Mon Apr 17 09:29:01 2023 +0200
+++ b/src/eric7/Preferences/ConfigurationPages/PluginManagerPage.py	Mon Apr 17 14:25:35 2023 +0200
@@ -43,6 +43,9 @@
         self.startupCleanupCheckBox.setChecked(
             Preferences.getPluginManager("StartupCleanup")
         )
+        self.unencryptedCheckBox.setChecked(
+            Preferences.getPluginManager("ForceHttpPluginDownload")
+        )
 
         period = Preferences.getPluginManager("UpdatesCheckInterval")
         if period == 0:
@@ -83,6 +86,9 @@
         Preferences.setPluginManager(
             "StartupCleanup", self.startupCleanupCheckBox.isChecked()
         )
+        Preferences.setPluginManager(
+            "ForceHttpPluginDownload", self.unencryptedCheckBox.isChecked()
+        )
 
         if self.noCheckRadioButton.isChecked():
             period = 0

eric ide

mercurial