Mercurial Repositories > eric / file comparison
comparison: src/eric7/UI/UserInterface.py
src/eric7/UI/UserInterface.py
- branch
- mpy_network
- changeset 9822
- 3bc57035aa86
- parent 9697
- cdaa3cc805f7
- child 9832
- 3885b9d7bd31
- child 9938
- b8005dd4fc9b
equal
deleted
inserted
replaced
| 9821:6b1b06d74532 | 9822:3bc57035aa86 |
|---|---|
| 8191 self.cooperation.shutdown() | 8191 self.cooperation.shutdown() |
| 8192 | 8192 |
| 8193 if self.__helpViewerWidget is not None: | 8193 if self.__helpViewerWidget is not None: |
| 8194 self.__helpViewerWidget.shutdown() | 8194 self.__helpViewerWidget.shutdown() |
| 8195 | 8195 |
| 8196 if self.microPythonWidget is not None: | |
| 8197 self.microPythonWidget.shutdown() | |
| 8198 | |
| 8196 self.pluginManager.doShutdown() | 8199 self.pluginManager.doShutdown() |
| 8197 | 8200 |
| 8198 if self.SAServer is not None: | 8201 if self.SAServer is not None: |
| 8199 self.SAServer.shutdown() | 8202 self.SAServer.shutdown() |
| 8200 self.SAServer = None | 8203 self.SAServer = None |
