src/eric7/Preferences/ConfigurationDialog.py

branch
server
changeset 10531
3308e8349e4c
parent 10518
1682f3203ae5
child 10704
27d21e5163b8
--- 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",

eric ide

mercurial