src/eric7/UI/UserInterface.py

branch
server
changeset 10555
08e853c0c77b
parent 10546
300487f5f517
child 10592
2bada76be1a6
equal deleted inserted replaced
10551:d80184d38152 10555:08e853c0c77b
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

eric ide

mercurial