src/eric7/Preferences/__init__.py

branch
eric7
changeset 10374
6ca114f6083c
parent 10373
093dcebe5ecb
child 10428
a071d4065202
--- a/src/eric7/Preferences/__init__.py	Sun Dec 03 19:46:34 2023 +0100
+++ b/src/eric7/Preferences/__init__.py	Mon Dec 04 09:20:17 2023 +0100
@@ -578,7 +578,7 @@
         "OnlineChangeTraceInterval": 500,  # 500 milliseconds
         "MouseHoverHelp": False,
         "MouseHoverTimeout": 500,  # 500 milliseconds
-        "AutoReopen": False,
+        "AutoReopen": True,
         "AnnotationsEnabled": True,
         "MiniContextMenu": False,
         "HideFormatButtons": True,

eric ide

mercurial