src/eric7/UI/UserInterface.py

branch
eric7
changeset 10949
2057b1b198a5
parent 10944
ff77c9a96a80
child 10990
31677cc3713e
equal deleted inserted replaced
10948:89b36a39fe69 10949:2057b1b198a5
575 ) 575 )
576 self.__ericServerInterface.connectionStateChanged.connect( 576 self.__ericServerInterface.connectionStateChanged.connect(
577 self.shell.remoteConnectionChanged 577 self.shell.remoteConnectionChanged
578 ) 578 )
579 579
580 self.__ericServerInterface.aboutToDisconnect.connect(self.project.closeProject) 580 self.__ericServerInterface.aboutToDisconnect.connect(
581 self.project.remoteConnectionAboutToDisconnect
582 )
581 self.__ericServerInterface.aboutToDisconnect.connect( 583 self.__ericServerInterface.aboutToDisconnect.connect(
582 self.viewmanager.closeRemoteEditors 584 self.viewmanager.closeRemoteEditors
583 ) 585 )
584 586
585 # create the toolbar manager object 587 # create the toolbar manager object

eric ide

mercurial