Rectangle knobBounds = thumbRect;
int x = knobBounds.x;
int y = knobBounds.y;
int w = knobBounds.width;
int h = knobBounds.height;
if ( slider.isEnabled() ) {
g.setColor(slider.getForeground());
}
else {
// PENDING(jeff) - the thumb should be dithered when disabled
g.setColor(slider.getForeground().darker());
}
if ( slider.getOrientation() == JSlider.HORIZONTAL ) {
g.translate(x, knobBounds.y-1);
// fill
g.fillRect(0, 1, w, h - 1);
// highlight
g.setColor(getHighlightColor());
g.drawLine(0, 1, w - 1, 1); // top
g.drawLine(0, 1, 0, h); // left
g.drawLine(w/2, 2, w/2, h-1); // center
// shadow
g.setColor(getShadowColor());
g.drawLine(0, h, w - 1, h); // bottom
g.drawLine(w - 1, 1, w - 1, h); // right
g.drawLine(w/2 - 1, 2, w/2 - 1, h); // center
g.translate(-x, -(knobBounds.y-1));
}
else {
g.translate(knobBounds.x-1, 0);
// fill
g.fillRect(1, y, w - 1, h);
// highlight
g.setColor(getHighlightColor());
g.drawLine(1, y, w, y); // top
g.drawLine(1, y+1, 1, y+h-1); // left
g.drawLine(2, y+h/2, w-1, y+h/2); // center
// shadow
g.setColor(getShadowColor());
g.drawLine(2, y+h-1, w, y+h-1); // bottom
g.drawLine(w, y+h-1, w, y); // right
g.drawLine(2, y+h/2-1, w-1, y+h/2-1); // center
g.translate(-(knobBounds.x-1), 0);
}
