Merge pull request #209 into master

Add RangeSlider support

flatlaf-jide-oss/src/main/java/com/formdev/flatlaf/jideoss/FlatJideOssDefaultsAddon.java

@@ -71,7 +71,8 @@ public class FlatJideOssDefaultsAddon
 				Object key = e.getKey();
 				if( key instanceof String &&
 					(((String)key).startsWith( "Jide" ) ||
-					 ((String)key).equals( "Resizable.resizeBorder" )) )
+					 key.equals( "RangeSliderUI" ) ||
+					 key.equals( "Resizable.resizeBorder" )) )
 				{
 					jideDefaults.put( key, e.getValue() );
 				}

flatlaf-jide-oss/src/main/java/com/formdev/flatlaf/jideoss/ui/FlatRangeSliderUI.java

@@ -0,0 +1,261 @@
+package com.formdev.flatlaf.jideoss.ui;
+
+import java.awt.Color;
+import java.awt.Dimension;
+import java.awt.Graphics;
+import java.awt.Graphics2D;
+import java.awt.Point;
+import java.awt.Rectangle;
+import java.awt.geom.Path2D;
+import java.awt.geom.RoundRectangle2D;
+import java.util.Dictionary;
+import java.util.Enumeration;
+import javax.swing.JComponent;
+import javax.swing.JSlider;
+import javax.swing.LookAndFeel;
+import javax.swing.UIManager;
+import javax.swing.plaf.ComponentUI;
+import com.formdev.flatlaf.ui.FlatUIUtils;
+import com.formdev.flatlaf.util.UIScale;
+import com.jidesoft.plaf.basic.BasicRangeSliderUI;
+
+public class FlatRangeSliderUI
+	extends BasicRangeSliderUI
+
+{
+
+	private int trackWidth;
+	private int thumbWidth;
+	private Color trackColor;
+	private Color thumbColor;
+	private Color focusColor;
+	private Color hoverColor;
+	private Color disabledForeground;
+	private Rectangle firstThumbRect;
+
+	public FlatRangeSliderUI( JComponent slider ) {
+		super( (JSlider) slider );
+	}
+
+	public static ComponentUI createUI( JComponent slider ) {
+		return new FlatRangeSliderUI( slider );
+	}
+
+	@Override
+	public void installUI( JComponent c ) {
+		super.installUI( c );
+
+		// update label UIs, which is necessary because RangeSlider does not invoke JSlider.updateLabelUIs()
+		updateLabelUIs( c );
+	}
+
+	@Override
+	public void uninstallUI( JComponent c ) {
+		// update label UIs also on uninstall to avoid light labels when switching
+		// from dark FlatLaf theme to another Laf
+		updateLabelUIs( c );
+
+		super.uninstallUI( c );
+	}
+
+	protected void updateLabelUIs( JComponent c ) {
+		Dictionary<?,?> labelTable = ((JSlider)c).getLabelTable();
+		if( labelTable == null )
+			return;
+
+		Enumeration<?> e = labelTable.elements();
+		while( e.hasMoreElements() ) {
+			JComponent label = (JComponent) e.nextElement();
+			label.updateUI();
+			label.setSize( label.getPreferredSize() );
+		}
+	}
+
+	@Override
+	public void paint( Graphics g, JComponent c ) {
+		FlatUIUtils.setRenderingHints( (Graphics2D) g );
+
+		second = false;
+		super.paint( g, c );
+
+		Rectangle clip = g.getClipBounds();
+
+		firstThumbRect = new Rectangle( thumbRect );
+
+		second = true;
+		Point p = adjustThumbForHighValue();
+
+		if( clip.intersects( thumbRect ) ) {
+			paintTrack( g );
+			paintThumb( g );
+		}
+
+		restoreThumbForLowValue( p );
+		second = false;
+	}
+
+	@Override
+	public void paintTrack( Graphics g ) {
+		boolean enabled = slider.isEnabled();
+		float tw = UIScale.scale( (float) trackWidth );
+		float arc = tw;
+
+		RoundRectangle2D coloredTrack = null;
+		RoundRectangle2D track;
+		if( slider.getOrientation() == JSlider.HORIZONTAL ) {
+			float y = trackRect.y + (trackRect.height - tw) / 2f;
+			if( enabled ) {
+				if( slider.getComponentOrientation().isLeftToRight() ) {
+					int cw = thumbRect.x + (thumbRect.width / 2) - trackRect.x;
+					if( second ) {
+						track = new RoundRectangle2D.Float( trackRect.x + cw, y, trackRect.width - cw, tw, arc, arc );
+						int firstCw = firstThumbRect.x + (firstThumbRect.width / 2) - trackRect.x;
+						coloredTrack = new RoundRectangle2D.Float( trackRect.x + firstCw, y, cw - firstCw, tw, arc,
+							arc );
+					} else {
+						track = new RoundRectangle2D.Float( trackRect.x, y, cw, tw, arc, arc );
+					}
+				} else {
+					int cw = trackRect.x + trackRect.width - thumbRect.x - (thumbRect.width / 2);
+					if( second ) {
+						int firstCw = trackRect.x + trackRect.width - firstThumbRect.x - (firstThumbRect.width / 2);
+						track = new RoundRectangle2D.Float( trackRect.x, y, trackRect.width - cw, tw, arc, arc );
+						coloredTrack = new RoundRectangle2D.Float( trackRect.x + trackRect.width - cw, y, cw - firstCw,
+							tw, arc, arc );
+					} else {
+						track = new RoundRectangle2D.Float( trackRect.x + trackRect.width - cw, y, cw, tw, arc, arc );
+					}
+				}
+			} else {
+				track = new RoundRectangle2D.Float( trackRect.x, y, trackRect.width, tw, arc, arc );
+			}
+		} else {
+			float x = trackRect.x + (trackRect.width - tw) / 2f;
+			if( enabled ) {
+				int ch = thumbRect.y + (thumbRect.height / 2) - trackRect.y;
+				if( second ) {
+					int firstCh = firstThumbRect.y + (firstThumbRect.height / 2) - trackRect.y;
+					track = new RoundRectangle2D.Float( x, trackRect.y, tw, ch, arc, arc );
+					coloredTrack = new RoundRectangle2D.Float( x, trackRect.y + ch, tw, firstCh - ch, arc, arc );
+				} else {
+					track = new RoundRectangle2D.Float( x, trackRect.y + ch, tw, trackRect.height - ch, arc, arc );
+				}
+			} else {
+				track = new RoundRectangle2D.Float( x, trackRect.y, tw, trackRect.height, arc, arc );
+			}
+		}
+
+		if( coloredTrack != null ) {
+			g.setColor( FlatUIUtils.deriveColor(
+				FlatUIUtils.isPermanentFocusOwner( slider ) ? focusColor : (hover ? hoverColor : thumbColor),
+				thumbColor ) );
+			((Graphics2D) g).fill( coloredTrack );
+		}
+
+		g.setColor( enabled ? trackColor : disabledForeground );
+		((Graphics2D) g).fill( track );
+
+	}
+
+	//above here the code is same of FlatSliderUI
+
+	@Override
+	protected void installDefaults( JSlider slider ) {
+		super.installDefaults( slider );
+
+		LookAndFeel.installProperty( slider, "opaque", false );
+
+		trackWidth = UIManager.getInt( "Slider.trackWidth" );
+		thumbWidth = UIManager.getInt( "Slider.thumbWidth" );
+
+		trackColor = UIManager.getColor( "Slider.trackColor" );
+		thumbColor = UIManager.getColor( "Slider.thumbColor" );
+		focusColor = FlatUIUtils.getUIColor( "Slider.focusedColor", "Component.focusColor" );
+		hoverColor = FlatUIUtils.getUIColor( "Slider.hoverColor", focusColor );
+		disabledForeground = UIManager.getColor( "Slider.disabledForeground" );
+	}
+
+	@Override
+	protected void uninstallDefaults( JSlider slider ) {
+		super.uninstallDefaults( slider );
+
+		trackColor = null;
+		thumbColor = null;
+		focusColor = null;
+		hoverColor = null;
+		disabledForeground = null;
+	}
+
+	@Override
+	public Dimension getPreferredHorizontalSize() {
+		return UIScale.scale( super.getPreferredHorizontalSize() );
+	}
+
+	@Override
+	public Dimension getPreferredVerticalSize() {
+		return UIScale.scale( super.getPreferredVerticalSize() );
+	}
+
+	@Override
+	public Dimension getMinimumHorizontalSize() {
+		return UIScale.scale( super.getMinimumHorizontalSize() );
+	}
+
+	@Override
+	public Dimension getMinimumVerticalSize() {
+		return UIScale.scale( super.getMinimumVerticalSize() );
+	}
+
+	@Override
+	protected int getTickLength() {
+		return UIScale.scale( super.getTickLength() );
+	}
+
+	@Override
+	protected Dimension getThumbSize() {
+		return new Dimension( UIScale.scale( thumbWidth ), UIScale.scale( thumbWidth ) );
+	}
+
+	@Override
+	public void paintFocus( Graphics g ) {
+		// do not paint dashed focus rectangle
+	}
+
+	@Override
+	public void paintThumb( Graphics g ) {
+		g.setColor( FlatUIUtils.deriveColor( slider.isEnabled() ? (FlatUIUtils.isPermanentFocusOwner( slider )
+			? focusColor
+			: (hover ? hoverColor : thumbColor)) : disabledForeground, thumbColor ) );
+
+		if( isRoundThumb() )
+			g.fillOval( thumbRect.x, thumbRect.y, thumbRect.width, thumbRect.height );
+		else {
+			double w = thumbRect.width;
+			double h = thumbRect.height;
+			double wh = w / 2;
+
+			Path2D thumb = FlatUIUtils.createPath( 0, 0, w, 0, w, (h - wh), wh, h, 0, (h - wh) );
+
+			Graphics2D g2 = (Graphics2D) g.create();
+			try {
+				g2.translate( thumbRect.x, thumbRect.y );
+				if( slider.getOrientation() == JSlider.VERTICAL ) {
+					if( slider.getComponentOrientation().isLeftToRight() ) {
+						g2.translate( 0, thumbRect.height );
+						g2.rotate( Math.toRadians( 270 ) );
+					} else {
+						g2.translate( thumbRect.width, 0 );
+						g2.rotate( Math.toRadians( 90 ) );
+					}
+				}
+				g2.fill( thumb );
+			} finally {
+				g2.dispose();
+			}
+		}
+	}
+
+	private boolean isRoundThumb() {
+		return !slider.getPaintTicks() && !slider.getPaintLabels();
+	}
+}

flatlaf-jide-oss/src/main/resources/com/formdev/flatlaf/jideoss/FlatLaf.properties

@@ -17,6 +17,7 @@
 #---- UI delegates ----
 
 JideTabbedPaneUI=com.formdev.flatlaf.jideoss.ui.FlatJideTabbedPaneUI
+RangeSliderUI=com.formdev.flatlaf.jideoss.ui.FlatRangeSliderUI
 
 
 #---- JidePopup ----