743 |
thumbRect.x += (value - min) * trackRect.width / (max - min); |
thumbRect.x += (value - min) * trackRect.width / (max - min); |
744 |
thumbRect.y = trackRect.y; |
thumbRect.y = trackRect.y; |
745 |
|
|
746 |
thumbRect.width = extent * trackRect.width / (max - min); |
thumbRect.width = Math.max(extent * trackRect.width / (max - min), |
747 |
|
getMinimumThumbSize().width); |
748 |
thumbRect.height = trackRect.height; |
thumbRect.height = trackRect.height; |
749 |
} |
} |
750 |
else |
else |
753 |
thumbRect.y = trackRect.y + value * trackRect.height / (max - min); |
thumbRect.y = trackRect.y + value * trackRect.height / (max - min); |
754 |
|
|
755 |
thumbRect.width = trackRect.width; |
thumbRect.width = trackRect.width; |
756 |
thumbRect.height = extent * trackRect.height / (max - min); |
thumbRect.height = Math.max(extent * trackRect.height / (max - min), |
757 |
|
getMinimumThumbSize().height); |
758 |
} |
} |
759 |
return thumbRect; |
return thumbRect; |
760 |
} |
} |