RFR: 8309460: JScrollBar leaves behind clutter for non-integer UI scales

[Alexey Ivanov]

On Sun, 21 Jan 2024 00:39:38 GMT, Sergey Bylokhov <serb at openjdk.org> wrote:

> > Also, it might be the case the scrollbar methods like getUnitIncrement, scrollBar.getValue scrollbar.setValue setThumbBounds sets or returns or uses integer value despite scale being non-integer, so I guess repainting dirty region should be done to refresh the artifacts
> 
> But in the fix and in the places you pointed out we also use the int values, so why is the bug reproduced only when the float scale is used?

Because float scale results in fractional pixels?

If the scale is 1.25, then 1 pixel is 1.25 physical pixels; 2 pixels are 2.5 physical pixels and so on.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/17484#issuecomment-1904501940