diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index 92cb6247c640..92d1ff8a32d8 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -782,3 +782,7 @@ NodeJS.Docker=false NodeJS.Docker.description=Enables Node.JS remote execution with Docker (if Docker and Node.JS plugins are installed) rainbow.highlighter.colors= rainbow.highlighter.colors.description=List of colors for rainbow highlighter in hex format. Example: aabbcc, 123123, ff0000, 111111 + +ide.new.icons=false +ide.new.icons.restartRequired=true +ide.new.icons.description=Trying new platform icons