diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties
index 84e01bf8e39d..814686269ad1 100644
--- a/platform/util/resources/misc/registry.properties
+++ b/platform/util/resources/misc/registry.properties
@@ -1106,8 +1106,6 @@ welcome.screen.project.grouping.enabled.description=Allows to group recent proje
 
 custom.folding.max.lookup.depth=50
 custom.folding.max.lookup.depth.description=Max lookup depth for custom folding comments in a PSI tree.
-save.folding.state.timeout=0
-save.folding.state.timeout.description=Timeout after which folding state saving is forcibly cancelled (0 means no time limit)
 
 project.structure.add.tools.jar.to.new.jdk=false
 project.structure.add.tools.jar.to.new.jdk.description=Automatically add tools.jar to 'Classpath' when new JDK is created