src/eric7/JediInterface/JediServer.py

branch
eric7
changeset 11255
1c2bd52f2002
parent 11090
f5f5f5803935
child 11256
b19a0278b8bf
--- 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

eric ide

mercurial