--- a/src/eric7/ViewManager/ViewManager.py	Mon May 20 11:09:36 2024 +0200
+++ b/src/eric7/ViewManager/ViewManager.py	Sun May 26 11:45:28 2024 +0200
@@ -7835,7 +7835,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()