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

IDEA-102320 add ability to tune a thumb in the editor (registry values)

Browse Source 
[was accidentally pushed to 163]
(cherry picked from commit 72ba8b5)
This commit is contained in:
Sergey Malenkov
2016-11-02 20:23:20 +03:00
parent 11d9d44748
commit 91b68b5ca7
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/resources/misc/registry.properties
+6
View File
@@ -125,6 +125,12 @@ ide.scroll.align.component.description=Adds additional space for any component u
ide.scroll.background.auto=true
ide.scroll.background.auto.description=Use background color of a view to paint viewport, scroll pane, and scroll bars.
mac.scroll.thumb.darcula.color=166
mac.scroll.thumb.darcula.color.description=Allows to tune a thumb color in the editor component.
mac.scroll.thumb.darcula.border=13
mac.scroll.thumb.darcula.border.description=Allows to tune a thumb border in the editor component.
mac.scroll.horizontal.gap=false
mac.scroll.horizontal.gap.description=Shows additional space after the last row of a list or a tree. Affect MacOS only.