Mercurial Repositories > eric / file comparison
comparison: src/eric7/UI/UserInterface.py
src/eric7/UI/UserInterface.py
- branch
- server
- changeset 10539
- 4274f189ff78
- parent 10531
- 3308e8349e4c
- child 10546
- 300487f5f517
equal
deleted
inserted
replaced
| 10531:3308e8349e4c | 10539:4274f189ff78 |
|---|---|
| 592 if self.microPythonWidget is not None: | 592 if self.microPythonWidget is not None: |
| 593 self.microPythonWidget.aboutToDisconnect.connect( | 593 self.microPythonWidget.aboutToDisconnect.connect( |
| 594 self.viewmanager.closeDeviceEditors | 594 self.viewmanager.closeDeviceEditors |
| 595 ) | 595 ) |
| 596 | 596 |
| 597 self.__ericServerInterface.connectionStateChanged.connect( | |
| 598 self.viewmanager.remoteConnectionChanged | |
| 599 ) | |
| 600 self.__ericServerInterface.aboutToDisconnect.connect( | |
| 601 self.viewmanager.closeRemoteEditors | |
| 602 ) | |
| 603 | |
| 597 # create the toolbar manager object | 604 # create the toolbar manager object |
| 598 self.toolbarManager = EricToolBarManager(self, self) | 605 self.toolbarManager = EricToolBarManager(self, self) |
| 599 self.toolbarManager.setMainWindow(self) | 606 self.toolbarManager.setMainWindow(self) |
| 600 self.preferencesChanged.connect(self.toolbarManager.preferencesChanged) | 607 self.preferencesChanged.connect(self.toolbarManager.preferencesChanged) |
| 601 | 608 |
