Mercurial Repositories > eric / file diff
diff: src/eric7/JediInterface/JediServer.py
src/eric7/JediInterface/JediServer.py
- branch
- eric7
- changeset 10859
- 399d19fc7eb5
- parent 10850
- d835f48b9908
- child 10873
- 4e8e63df7893
- child 10928
- 46651e194fbe
--- a/src/eric7/JediInterface/JediServer.py Mon Jul 22 16:54:49 2024 +0200 +++ b/src/eric7/JediInterface/JediServer.py Mon Jul 22 17:07:46 2024 +0200 @@ -749,9 +749,7 @@ else: with contextlib.suppress(KeyError): self.__editors[result["Uuid"]].reload() - self.__editors[result["Uuid"]].setCheckExternalModificationEnabled( - True - ) + self.__editors[result["Uuid"]].setCheckExternalModificationEnabled(True) with contextlib.suppress(KeyError): del self.__editors[result["Uuid"]]
