src/eric7/UI/UserInterface.py

branch
server
changeset 10630
552a790fd9bc
parent 10598
79c6ea2cb2e7
child 10633
dda7e43934dc
equal deleted inserted replaced
10629:b0d14cba79b1 10630:552a790fd9bc
590 self.microPythonWidget.aboutToDisconnect.connect( 590 self.microPythonWidget.aboutToDisconnect.connect(
591 self.viewmanager.closeDeviceEditors 591 self.viewmanager.closeDeviceEditors
592 ) 592 )
593 593
594 self.__ericServerInterface.connectionStateChanged.connect( 594 self.__ericServerInterface.connectionStateChanged.connect(
595 self.project.remoteConnectionChanged
596 )
597 self.__ericServerInterface.connectionStateChanged.connect(
595 self.viewmanager.remoteConnectionChanged 598 self.viewmanager.remoteConnectionChanged
596 ) 599 )
597 self.__ericServerInterface.connectionStateChanged.connect( 600 self.__ericServerInterface.connectionStateChanged.connect(
598 self.shell.remoteConnectionChanged 601 self.shell.remoteConnectionChanged
599 ) 602 )
600 self.__ericServerInterface.connectionStateChanged.connect( 603
601 self.project.remoteConnectionChanged 604 self.__ericServerInterface.aboutToDisconnect.connect(
605 self.project.closeProject
602 ) 606 )
603 self.__ericServerInterface.aboutToDisconnect.connect( 607 self.__ericServerInterface.aboutToDisconnect.connect(
604 self.viewmanager.closeRemoteEditors 608 self.viewmanager.closeRemoteEditors
605 ) 609 )
606 610

eric ide

mercurial