From 7e28b56cfdb29c9905a914def03652b627ce53ca Mon Sep 17 00:00:00 2001 From: Sergey Malenkov Date: Fri, 16 Sep 2016 16:00:26 +0300 Subject: [PATCH] Registry: description for "ide.settings.replace.group.with.single.configurable" property --- platform/util/resources/misc/registry.properties | 1 + 1 file changed, 1 insertion(+) 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