src/eric7/UI/UserInterface.py

branch
server
changeset 10539
4274f189ff78
parent 10531
3308e8349e4c
child 10546
300487f5f517
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)

eric ide

mercurial