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

Registry property for icon scaling in completion popup

Browse Source
This commit is contained in:
Konstantin Bulenkov
2016-02-01 10:44:07 +01:00
parent c074f7f02c
commit 2ce1b3d130
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/resources/misc/registry.properties
+2
View File
@@ -590,6 +590,8 @@ editor.full.size.scrollbar.description=Increase width of the vertical scrollbar
editor.scale.gutter.icons=true
editor.scale.gutter.icons.description=Scale gutter icons to fit line height
editor.scale.completion.icons=false
editor.scale.completion.icons.description=Scale element icons in completion popup according editor font
editor.xcode.like.scrollbar=false
editor.xcode.like.scrollbar.description=Enables auto-hideable Xcode-like editor stripes