--- a/src/eric7/ViewManager/ViewManager.py	Tue May 21 19:35:41 2024 +0200
+++ b/src/eric7/ViewManager/ViewManager.py	Mon Jun 03 19:43:09 2024 +0200
@@ -7968,7 +7968,9 @@
         # reload editor settings
         for editor in self.editors:
             zoom = editor.getZoom()
+            contractedFolds = editor.contractedFolds()
             editor.readSettings()
+            editor.setContractedFolds(contractedFolds)
             editor.zoomTo(zoom)
 
         self.__enableSpellingActions()