Mercurial Repositories > eric / file comparison
comparison: src/eric7/JediInterface/JediServer.py
src/eric7/JediInterface/JediServer.py
- branch
- eric7
- changeset 10859
- 399d19fc7eb5
- parent 10850
- d835f48b9908
- child 10873
- 4e8e63df7893
- child 10928
- 46651e194fbe
equal
deleted
inserted
replaced
| 10858:8a03d5f6146c | 10859:399d19fc7eb5 |
|---|---|
| 747 ).format(result["ErrorString"]), | 747 ).format(result["ErrorString"]), |
| 748 ) | 748 ) |
| 749 else: | 749 else: |
| 750 with contextlib.suppress(KeyError): | 750 with contextlib.suppress(KeyError): |
| 751 self.__editors[result["Uuid"]].reload() | 751 self.__editors[result["Uuid"]].reload() |
| 752 self.__editors[result["Uuid"]].setCheckExternalModificationEnabled( | 752 self.__editors[result["Uuid"]].setCheckExternalModificationEnabled(True) |
| 753 True | |
| 754 ) | |
| 755 | 753 |
| 756 with contextlib.suppress(KeyError): | 754 with contextlib.suppress(KeyError): |
| 757 del self.__editors[result["Uuid"]] | 755 del self.__editors[result["Uuid"]] |
| 758 | 756 |
| 759 ####################################################################### | 757 ####################################################################### |
