From 3e198ecd28c45cb8d13a00faea75811be167dd2c Mon Sep 17 00:00:00 2001 From: Karl Tauber Date: Sat, 30 Oct 2021 20:37:12 +0200 Subject: [PATCH] JIDE: RangeSlider: support specifying width of thumb borders (fixes compile error in commit dd806144) --- .../com/formdev/flatlaf/jideoss/ui/FlatRangeSliderUI.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/flatlaf-jide-oss/src/main/java/com/formdev/flatlaf/jideoss/ui/FlatRangeSliderUI.java b/flatlaf-jide-oss/src/main/java/com/formdev/flatlaf/jideoss/ui/FlatRangeSliderUI.java index a9ea6bf0..855f5cac 100644 --- a/flatlaf-jide-oss/src/main/java/com/formdev/flatlaf/jideoss/ui/FlatRangeSliderUI.java +++ b/flatlaf-jide-oss/src/main/java/com/formdev/flatlaf/jideoss/ui/FlatRangeSliderUI.java @@ -48,6 +48,7 @@ public class FlatRangeSliderUI protected int trackWidth; protected Dimension thumbSize; protected int focusWidth; + /** @since 2 */ protected float thumbBorderWidth; protected Color trackValueColor; protected Color trackColor; @@ -120,6 +121,7 @@ public class FlatRangeSliderUI trackWidth = UIManager.getInt( "Slider.trackWidth" ); thumbSize = UIManager.getDimension( "Slider.thumbSize" ); focusWidth = FlatUIUtils.getUIInt( "Slider.focusWidth", 4 ); + thumbBorderWidth = FlatUIUtils.getUIFloat( "Slider.thumbBorderWidth", 1 ); trackValueColor = FlatUIUtils.getUIColor( "Slider.trackValueColor", "Slider.thumbColor" ); trackColor = UIManager.getColor( "Slider.trackColor" ); @@ -324,7 +326,7 @@ debug*/ Color focusedColor = FlatUIUtils.deriveColor( this.focusedColor, (foreground != defaultForeground) ? foreground : focusBaseColor ); - FlatSliderUI.paintThumb( g, slider, thumbRect, isRoundThumb(), color, borderColor, focusedColor, focusWidth ); + FlatSliderUI.paintThumb( g, slider, thumbRect, isRoundThumb(), color, borderColor, focusedColor, thumbBorderWidth, focusWidth ); } protected Color getTrackValueColor() {