mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Add some keys description to registry.properties
This commit is contained in:
@@ -92,6 +92,7 @@ ide.appIcon.badge=true
|
||||
ide.appIcon.requestAttention=true
|
||||
|
||||
ide.svg.icon=false
|
||||
ide.svg.icon.description=Load & auto-scale svg version of an icon if present
|
||||
|
||||
ide.windowSystem.hScrollChars=5
|
||||
ide.windowSystem.vScrollChars=5
|
||||
@@ -334,6 +335,7 @@ navBar.updateMergeTime=100
|
||||
navBar.userActivityMergeTime=100
|
||||
|
||||
ide.mac.fix.accessibleLeak=true
|
||||
ide.mac.fix.accessibleLeak.description=Reduce a11y-related leaks in Oracle JDK
|
||||
|
||||
projectView.showHierarchyErrors=true
|
||||
projectView.hide.dot.idea=true
|
||||
@@ -539,7 +541,9 @@ cvs.roots.refresh.uses.vfs.description=Should CVS roots refresh after update use
|
||||
vcs.add.remove.silent=true
|
||||
|
||||
ide.ui.scale.override=false
|
||||
ide.ui.scale.override.description=Override system scale (used for debugging)
|
||||
ide.ui.scale=1.0
|
||||
ide.ui.scale.description=Set UI scale factor in float
|
||||
|
||||
ide.ui.tree.indent=-1
|
||||
ide.ui.tree.indent.description=Allows to increase or decrease indents in trees. Use -1 to use default indent
|
||||
@@ -705,6 +709,7 @@ JDK8042508.bug.fixed=false
|
||||
JDK8042508.bug.fixed.description=Disable check for type variable until javac bug is fixed
|
||||
|
||||
linux.jdk.accessibility.atkwrapper.block=true
|
||||
linux.jdk.accessibility.atkwrapper.block.description=Block Linux ATKWrapper a11y tool due to its EDT-rule-unawareness
|
||||
|
||||
javac.unchecked.subtyping.during.incorporation=true
|
||||
javac.unchecked.subtyping.during.incorporation.description=Javac performs unchecked subtyping during incorporation, accepting code which is rejected by the spec and by the eclipse compiler
|
||||
|
||||
Reference in New Issue
Block a user