MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

new registry key for icons

Browse Source
This commit is contained in:
Konstantin Bulenkov
2016-07-23 22:42:56 +02:00
parent e88b0a5c69
commit d16e471bdb
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/resources/misc/registry.properties
+4
View File
@@ -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