src/eric7/UI/UserInterface.py

branch
server
changeset 10555
08e853c0c77b
parent 10546
300487f5f517
child 10592
2bada76be1a6
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
         )

eric ide

mercurial