diff -r e1ba73e58a5c -r cd93fbb75019 src/eric7/Preferences/ConfigurationPages/EricServerPage.ui --- a/src/eric7/Preferences/ConfigurationPages/EricServerPage.ui Sun Jun 23 11:59:23 2024 +0200 +++ b/src/eric7/Preferences/ConfigurationPages/EricServerPage.ui Sun Jun 23 12:17:40 2024 +0200 @@ -98,7 +98,7 @@ <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>Start server Shell when server is conncted</string> + <string>Start server Shell when server is connected</string> </property> </widget> </item>