--- a/src/eric7/Preferences/ConfigurationDialog.py Wed Dec 18 16:52:16 2024 +0100 +++ b/src/eric7/Preferences/ConfigurationDialog.py Wed Dec 18 17:20:28 2024 +0100 @@ -802,6 +802,13 @@ None, None, ], + "networkProxyPage": [ + self.tr("Network Proxy"), + "preferences-network-proxy", + "NetworkProxyPage", + None, + None, + ], "printerPage": [ self.tr("Printer"), "preferences-printer",