mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Fix disabled slider thumb border color #1376
GitOrigin-RevId: 36a6c112bdf4a1886eb01c8a1246c01c1384c8a4
This commit is contained in:
committed by
intellij-monorepo-bot
parent
ba28406f5d
commit
569ec8d5df
@@ -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())
|
||||
|
||||
Reference in New Issue
Block a user