From 91b68b5ca7510ccfdd8c8309a8fd479fd58a40f5 Mon Sep 17 00:00:00 2001 From: Sergey Malenkov Date: Wed, 2 Nov 2016 20:14:59 +0300 Subject: [PATCH] IDEA-102320 add ability to tune a thumb in the editor (registry values) [was accidentally pushed to 163] (cherry picked from commit 72ba8b5) --- platform/util/resources/misc/registry.properties | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index 9e3c07f6fdb4..f38c24229ddf 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -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.