--- 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,