--- a/eric6/Preferences/ConfigurationPages/SecurityPage.py Mon Sep 02 18:58:29 2019 +0200 +++ b/eric6/Preferences/ConfigurationPages/SecurityPage.py Tue Sep 03 19:27:46 2019 +0200 @@ -64,10 +64,6 @@ ) self.__displayMode = displayMode - if self.__configDlg.isUsingWebEngine(): - # TODO: is this still needed? - self.dnsPrefetchCheckBox.setEnabled(False) - self.dnsGroup.hide() def save(self): """ @@ -79,10 +75,6 @@ Preferences.setUser( "UseMasterPassword", self.masterPasswordCheckBox.isChecked()) - if self.dnsPrefetchCheckBox.isEnabled(): - Preferences.setHelp( - "DnsPrefetchEnabled", - self.dnsPrefetchCheckBox.isChecked()) if self.__oldUseMasterPassword != \ self.masterPasswordCheckBox.isChecked():