595 ) |
595 ) |
596 |
596 |
597 self.__ericServerInterface.connectionStateChanged.connect( |
597 self.__ericServerInterface.connectionStateChanged.connect( |
598 self.viewmanager.remoteConnectionChanged |
598 self.viewmanager.remoteConnectionChanged |
599 ) |
599 ) |
|
600 self.__ericServerInterface.connectionStateChanged.connect( |
|
601 self.shell.remoteConnectionChanged |
|
602 ) |
600 self.__ericServerInterface.aboutToDisconnect.connect( |
603 self.__ericServerInterface.aboutToDisconnect.connect( |
601 self.viewmanager.closeRemoteEditors |
604 self.viewmanager.closeRemoteEditors |
602 ) |
605 ) |
603 |
606 |
604 # create the toolbar manager object |
607 # create the toolbar manager object |