--- a/src/eric7/Preferences/ConfigurationDialog.py Fri Jan 26 16:17:05 2024 +0100 +++ b/src/eric7/Preferences/ConfigurationDialog.py Mon Jan 29 19:50:44 2024 +0100 @@ -210,6 +210,13 @@ None, None, ], + "ericServerPage": [ + self.tr("eric-ide Server"), + "preferences-eric-server", + "EricServerPage", + None, + None, + ], "graphicsPage": [ self.tr("Graphics"), "preferences-graphics",