diff -r 932af5154428 -r 5b91f7baffd0 src/eric7/Preferences/ConfigurationPages/PluginManagerPage.py --- 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