From 21416d676b71c584aaa4ca61ff19b0b942d1de06 Mon Sep 17 00:00:00 2001 From: Sergey Malenkov Date: Thu, 15 Sep 2016 18:36:21 +0300 Subject: [PATCH] Registry: description for "ide.wide.selection.list.ui" property --- platform/util/resources/misc/registry.properties | 2 ++ 1 file changed, 2 insertions(+) diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index 3bffeb3c4c06..073222e27630 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -121,7 +121,9 @@ ide.scroll.track.border.paint=false ide.scroll.thumb.border.rounded=false ide.scroll.thumb.small.if.opaque=true mac.scroll.horizontal.gap=false + ide.wide.selection.list.ui=true +ide.wide.selection.list.ui.description=Shows a wide selection in all JBList instances. Affects Windows and Linux only. ide.tooltip.callout=true ide.tooltip.animationCycle=150