From d16e471bdb07357058457485d0a6f9d536d4cc5e Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Sat, 23 Jul 2016 22:42:56 +0200 Subject: [PATCH] new registry key for icons --- platform/util/resources/misc/registry.properties | 4 ++++ 1 file changed, 4 insertions(+) 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