diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index 52e2ba0e7dbe..ad64655f5f3b 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -596,6 +596,7 @@ ide.settings.configurable.loading.threshold=0 ide.settings.configurable.loading.threshold.description=A positive number of milliseconds starts debugging of Settings loading. ide.settings.replace.group.with.single.configurable=true +ide.settings.replace.group.with.single.configurable.description=Used to generate more compact tree for Settings/Preferences. commonjs.complete.required.filename.with.extension=false commonjs.complete.required.filename.with.extension.description=If checked, required filenames are completed with extension