From 569ec8d5dfa89d40e00f35888ed2c9f72b95c56a Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Sun, 19 Jul 2020 21:36:48 +0200 Subject: [PATCH] Fix disabled slider thumb border color #1376 GitOrigin-RevId: 36a6c112bdf4a1886eb01c8a1246c01c1384c8a4 --- .../src/com/intellij/ide/ui/laf/darcula/ui/DarculaSliderUI.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaSliderUI.kt b/platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaSliderUI.kt index 1d59da465092..8aaea24a544b 100644 --- a/platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaSliderUI.kt +++ b/platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaSliderUI.kt @@ -60,7 +60,7 @@ public open class DarculaSliderUI(b: JComponent? = null) : BasicSliderUI(b as JS theme.buttonBorderColor } else { - theme.disabledButtonColor + theme.disabledButtonBorderColor } g2d.stroke = BasicStroke(theme.borderThickness.toFloat())