--- a/src/eric7/Preferences/ConfigurationPages/EricServerPage.ui	Wed Feb 07 15:28:08 2024 +0100
+++ b/src/eric7/Preferences/ConfigurationPages/EricServerPage.ui	Fri Feb 09 19:54:15 2024 +0100
@@ -6,8 +6,8 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>496</width>
-    <height>300</height>
+    <width>510</width>
+    <height>452</height>
    </rect>
   </property>
   <layout class="QVBoxLayout" name="verticalLayout_2">
@@ -32,6 +32,16 @@
     </widget>
    </item>
    <item>
+    <widget class="QLabel" name="label_2">
+     <property name="text">
+      <string>&lt;b&gt;Note:&lt;/b&gt; The eric-ide server is configured via command line parameters. The parameters of this page configure the interface to the eric-ide server.</string>
+     </property>
+     <property name="wordWrap">
+      <bool>true</bool>
+     </property>
+    </widget>
+   </item>
+   <item>
     <widget class="QGroupBox" name="groupBox">
      <property name="title">
       <string>Server Connection</string>
@@ -79,16 +89,16 @@
    <item>
     <widget class="QGroupBox" name="groupBox_2">
      <property name="title">
-      <string>Notes</string>
+      <string>Shell</string>
      </property>
      <layout class="QVBoxLayout" name="verticalLayout">
       <item>
-       <widget class="QLabel" name="label_2">
+       <widget class="QCheckBox" name="startShellCheckBox">
+        <property name="toolTip">
+         <string>Select this to start an eric-ide Server Shell when a connection to an eric-ide Server is established.</string>
+        </property>
         <property name="text">
-         <string>&lt;ul&gt;&lt;li&gt;The eric-ide server is configured via command line parameters. The parameters of this page configure the interface to the eric-ide server.&lt;/li&gt;&lt;/ul&gt;</string>
-        </property>
-        <property name="wordWrap">
-         <bool>true</bool>
+         <string>Start server Shell when server is conncted</string>
         </property>
        </widget>
       </item>
@@ -110,6 +120,10 @@
    </item>
   </layout>
  </widget>
+ <tabstops>
+  <tabstop>timeoutSpinBox</tabstop>
+  <tabstop>startShellCheckBox</tabstop>
+ </tabstops>
  <resources/>
  <connections/>
 </ui>