diff -r d80184d38152 -r 08e853c0c77b src/eric7/UI/UserInterface.py --- a/src/eric7/UI/UserInterface.py Wed Feb 07 15:28:08 2024 +0100 +++ b/src/eric7/UI/UserInterface.py Fri Feb 09 19:54:15 2024 +0100 @@ -597,6 +597,9 @@ self.__ericServerInterface.connectionStateChanged.connect( self.viewmanager.remoteConnectionChanged ) + self.__ericServerInterface.connectionStateChanged.connect( + self.shell.remoteConnectionChanged + ) self.__ericServerInterface.aboutToDisconnect.connect( self.viewmanager.closeRemoteEditors )