--- a/src/eric7/JediInterface/JediServer.py Fri May 02 16:18:18 2025 +0200
+++ b/src/eric7/JediInterface/JediServer.py Fri May 02 16:19:35 2025 +0200
@@ -70,6 +70,7 @@
interface=Preferences.getDebugger("NetworkInterface"),
multiplex=True,
parent=ui,
+ releaseMode=ui.ReleaseMode,
)
self.__ui = ui