Mercurial Repositories > eric / file comparison
comparison: src/eric7/UI/UserInterface.py
src/eric7/UI/UserInterface.py
- branch
- eric7
- changeset 10919
- 4e4c8ee38c45
- parent 10905
- 487adcd8dfa7
- child 10922
- 36a90a94765c
equal
deleted
inserted
replaced
| 10918:056bd087096f | 10919:4e4c8ee38c45 |
|---|---|
| 8472 self.__helpViewerWidget.shutdown() | 8472 self.__helpViewerWidget.shutdown() |
| 8473 | 8473 |
| 8474 if self.microPythonWidget is not None: | 8474 if self.microPythonWidget is not None: |
| 8475 self.microPythonWidget.shutdown() | 8475 self.microPythonWidget.shutdown() |
| 8476 | 8476 |
| 8477 self.pipInterface.shutdown() | |
| 8478 | |
| 8477 self.pluginManager.doShutdown() | 8479 self.pluginManager.doShutdown() |
| 8478 | 8480 |
| 8479 if self.SAServer is not None: | 8481 if self.SAServer is not None: |
| 8480 self.SAServer.shutdown() | 8482 self.SAServer.shutdown() |
| 8481 self.SAServer = None | 8483 self.SAServer = None |
