src/eric7/UI/UserInterface.py

branch
server
changeset 10633
dda7e43934dc
parent 10630
552a790fd9bc
child 10651
280a53840aa3
equal deleted inserted replaced
10632:1109854f15f9 10633:dda7e43934dc
599 ) 599 )
600 self.__ericServerInterface.connectionStateChanged.connect( 600 self.__ericServerInterface.connectionStateChanged.connect(
601 self.shell.remoteConnectionChanged 601 self.shell.remoteConnectionChanged
602 ) 602 )
603 603
604 self.__ericServerInterface.aboutToDisconnect.connect( 604 self.__ericServerInterface.aboutToDisconnect.connect(self.project.closeProject)
605 self.project.closeProject
606 )
607 self.__ericServerInterface.aboutToDisconnect.connect( 605 self.__ericServerInterface.aboutToDisconnect.connect(
608 self.viewmanager.closeRemoteEditors 606 self.viewmanager.closeRemoteEditors
609 ) 607 )
610 608
611 # create the toolbar manager object 609 # create the toolbar manager object

eric ide

mercurial