Mercurial Repositories > eric / file comparison
comparison: src/eric7/JediInterface/JediServer.py
src/eric7/JediInterface/JediServer.py
- branch
- eric7
- changeset 10517
- aecd5a8c958c
- parent 10473
- f45fd45cb11d
- child 10526
- 2549534fcb55
equal
deleted
inserted
replaced
| 10516:72baef0baa76 | 10517:aecd5a8c958c |
|---|---|
| 991 Public method to forget about the given editor. | 991 Public method to forget about the given editor. |
| 992 | 992 |
| 993 @param editor reference to the editor to forget about | 993 @param editor reference to the editor to forget about |
| 994 @type Editor | 994 @type Editor |
| 995 """ | 995 """ |
| 996 for uid in self.__editors: | 996 for uid in list(self.__editors): |
| 997 if self.__editors[uid] is editor: | 997 if self.__editors[uid] is editor: |
| 998 with contextlib.suppress(KeyError): | 998 with contextlib.suppress(KeyError): |
| 999 del self.__editors[uid] | 999 del self.__editors[uid] |
| 1000 break | 1000 break |
