diff -r f62e1bf47492 -r 77d4d1878228 src/eric7/UI/UserInterface.py
--- a/src/eric7/UI/UserInterface.py Tue Jul 02 14:45:15 2024 +0200
+++ b/src/eric7/UI/UserInterface.py Tue Jul 02 17:59:11 2024 +0200
@@ -238,6 +238,9 @@
maxFilePathLen = 100
maxMenuFilePathLen = 75
+ # TODO: change this to 'True' for official releases
+ ReleaseMode = False
+
ErrorLogFileName = "eric7_error.log"
def __init__(
@@ -343,9 +346,9 @@
self.stderr = Redirector(True, self)
self.stderr.appendStderr.connect(self.appendToStderr)
# Redirect sys.stdout and/or sys.stderr if those are None
- if sys.stdout is None:
+ if sys.stdout is None or UserInterface.ReleaseMode:
sys.stdout = self.stdout
- if sys.stderr is None:
+ if sys.stderr is None or UserInterface.ReleaseMode:
sys.stderr = self.stderr
# create the remote server interface
