1483 |
leftToRightCache = slider.getComponentOrientation() != ComponentOrientation.RIGHT_TO_LEFT; |
leftToRightCache = slider.getComponentOrientation() != ComponentOrientation.RIGHT_TO_LEFT; |
1484 |
// FIXME: This next line is only here because the above line is here. |
// FIXME: This next line is only here because the above line is here. |
1485 |
calculateThumbLocation(); |
calculateThumbLocation(); |
1486 |
|
calculateGeometry(); |
1487 |
|
|
1488 |
if (slider.getPaintTrack()) |
if (slider.getPaintTrack()) |
1489 |
paintTrack(g); |
paintTrack(g); |
1976 |
public void paintThumb(Graphics g) |
public void paintThumb(Graphics g) |
1977 |
{ |
{ |
1978 |
Color saved_color = g.getColor(); |
Color saved_color = g.getColor(); |
1979 |
|
|
1980 |
Point a = new Point(thumbRect.x, thumbRect.y); |
Point a = new Point(thumbRect.x, thumbRect.y); |
1981 |
Point b = new Point(a); |
Point b = new Point(a); |
1982 |
Point c = new Point(a); |
Point c = new Point(a); |