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 Project Settings dialog UI key

Browse Source
This commit is contained in:
Konstantin Bulenkov
2014-07-01 16:31:02 +02:00
parent 8fedc560c5
commit f2a456c302
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/src/misc/registry.properties
+2
View File
@@ -402,3 +402,5 @@ console.too.much.text.buffer.ratio=10
console.too.much.text.buffer.ratio.description=Used for disabling of console processing(console filters for highlights, foldings...),\n\
when there is too much of text to process.\n\
The ratio is used against the console cycle buffer size (idea.cycle.buffer.size/theRatio=maxTextLength).
ide.new.project.settings=false
ide.new.project.settings.description=Temporary key for new project settings dialog UI