Mercurial Repositories > eric / file comparison
comparison: src/eric7/JediInterface/JediServer.py
src/eric7/JediInterface/JediServer.py
- branch
- eric7
- changeset 10243
- 6a3b0acda958
- parent 10069
- 435cc5875135
- child 10272
- 7ae72d1df070
- child 10439
- 21c28b0f9e41
equal
deleted
inserted
replaced
| 10242:762010721872 | 10243:6a3b0acda958 |
|---|---|
| 983 """ | 983 """ |
| 984 self.__ensureActive(JediServer.IdProject) | 984 self.__ensureActive(JediServer.IdProject) |
| 985 self.sendJson("closeProject", {}, idString=JediServer.IdProject) | 985 self.sendJson("closeProject", {}, idString=JediServer.IdProject) |
| 986 | 986 |
| 987 self.stopClient(idString=JediServer.IdProject) | 987 self.stopClient(idString=JediServer.IdProject) |
| 988 | |
| 989 def forgetEditor(self, editor): | |
| 990 """ | |
| 991 Public method to forget about the given editor. | |
| 992 | |
| 993 @param editor reference to the editor to forget about | |
| 994 @type Editor | |
| 995 """ | |
| 996 for uid in self.__editors: | |
| 997 if self.__editors[uid] is editor: | |
| 998 with contextlib.suppress(KeyError): | |
| 999 del self.__editors[uid] | |
| 1000 break |
