Mercurial Repositories > eric / file diff
diff: src/eric7/JediInterface/AssistantJedi.py
src/eric7/JediInterface/AssistantJedi.py
- branch
- eric7
- changeset 10243
- 6a3b0acda958
- parent 10069
- 435cc5875135
- child 10439
- 21c28b0f9e41
diff -r 762010721872 -r 6a3b0acda958 src/eric7/JediInterface/AssistantJedi.py --- a/src/eric7/JediInterface/AssistantJedi.py Thu Oct 12 17:23:13 2023 +0200 +++ b/src/eric7/JediInterface/AssistantJedi.py Fri Oct 13 08:30:15 2023 +0200 @@ -151,6 +151,7 @@ self.__disconnectMouseClickHandler(editor) editor.unregisterMouseHoverHelpFunction(self.__jediServer.hoverHelp) + self.__jediServer.forgetEditor(editor) with contextlib.suppress(TypeError): editor.showMenu.disconnect(self.__editorShowMenu)
