--- a/src/eric7/JediInterface/JediServer.py	Sun Jan 21 12:53:23 2024 +0100
+++ b/src/eric7/JediInterface/JediServer.py	Sun Jan 21 13:00:42 2024 +0100
@@ -993,7 +993,7 @@
         @param editor reference to the editor to forget about
         @type Editor
         """
-        for uid in self.__editors:
+        for uid in list(self.__editors):
             if self.__editors[uid] is editor:
                 with contextlib.suppress(KeyError):
                     del self.__editors[uid]