Mon, 04 Dec 2023 09:20:17 +0100
Changed the default value for the editor auto reload function.
src/eric7/Preferences/__init__.py | file | annotate | diff | comparison | revisions |
--- 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,