mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
untie folding state from PSI (CPP-10639)
remove unneeded test and Registry key
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user