diff -r e1ba73e58a5c -r cd93fbb75019 src/eric7/Preferences/ConfigurationPages/Ui_EricServerPage.py --- a/src/eric7/Preferences/ConfigurationPages/Ui_EricServerPage.py Sun Jun 23 11:59:23 2024 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/Ui_EricServerPage.py Sun Jun 23 12:17:40 2024 +0200 @@ -68,4 +68,4 @@ self.timeoutSpinBox.setSuffix(_translate("EricServerPage", " s")) self.groupBox_2.setTitle(_translate("EricServerPage", "Shell")) self.startShellCheckBox.setToolTip(_translate("EricServerPage", "Select this to start an eric-ide Server Shell when a connection to an eric-ide Server is established.")) - self.startShellCheckBox.setText(_translate("EricServerPage", "Start server Shell when server is conncted")) + self.startShellCheckBox.setText(_translate("EricServerPage", "Start server Shell when server is connected"))