diff -r 3308e8349e4c -r 4274f189ff78 src/eric7/UI/UserInterface.py --- a/src/eric7/UI/UserInterface.py Mon Jan 29 19:50:44 2024 +0100 +++ b/src/eric7/UI/UserInterface.py Fri Feb 02 11:29:08 2024 +0100 @@ -594,6 +594,13 @@ self.viewmanager.closeDeviceEditors ) + self.__ericServerInterface.connectionStateChanged.connect( + self.viewmanager.remoteConnectionChanged + ) + self.__ericServerInterface.aboutToDisconnect.connect( + self.viewmanager.closeRemoteEditors + ) + # create the toolbar manager object self.toolbarManager = EricToolBarManager(self, self) self.toolbarManager.setMainWindow(self)